A Roadmap for Formal Property Verification

  • Pallab DasGupta

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2006

Authors and Affiliations

  • Pallab DasGupta
    • 1
  1. 1.Indian Institute of TechnologyKharagpurIndia

Personalised recommendations