Getting Started with Formal Verification

原文链接：https://www.eeweb.com/getting-started-with-formal-verification/

Methodology is the key in using formal property checking in a scalable way that guarantees a higher return on investment

The present-day use of formal methods in industry owes a lot to the founding fathers of formal methods — some of whose contributions I covered in my previous article (see “A Brief History of Formal Verification”). By this point, you have probably figured out that the field of modern formal methods is about 70 years old and comes in three different flavors: theorem proving, equivalence checking, and model checking.