Also known as BMC. This is the canonical page; those names redirect here.
program-analysis · Formal Languages & Compilers