A Roadmap for Formal Property Verification
The benefits of FPV has been established quite emphatically in the last decade. Researchers have analyzed several historically significant failures and have shown that the use of FPV could have detected the bug in the design. Recent practitioners of FPV have been able to uncover interesting flaws in the specifications of complex protocols and intricate bugs in live designs.
Unable to display preview. Download preview PDF.