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