Your new FV-aware lifestyle
In our concluding chapter, we review the multiple motivations for formal verification, including design exercise, bug hunting, full proofs, specialized applications, and formal equivalence, summarizing and highlighting our key points in each area. We then give some general advice for getting prepared and starting FV work, as well as some ideas for measuring ROI (Return On Investment) of FV. Finally, we conclude with a high-level description of the many “hats” an FV engineer might wear, and an overall summary of this book.
Formal Verification (FV); Formal Equivalence Verification (FEV); Formal Property Verification (FPV)
I never said it. Honest. Oh, I said there are maybe 100 billion galaxies and ...