Introduction
•Formal verification is widely used in hardware verification •Errors found late in the production cycle are more expensive to correct in hardware than in software •In safety-critical software systems correctness requirements warrant formal verification •Emphasis on design processes that already employ formal methods