Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Roadmap for Formal Property VerificationA Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification: 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.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Roadmap for Formal Property VerificationA Roadmap for Formal Property Verification

DasGupta, Pallab
Springer Journals — Jan 1, 2006
Download PDF
24 pages

Loading next page...
 
/lp/springer-journals/a-roadmap-for-formal-property-verification-a-roadmap-for-formal-QyTK70xEho
Publisher
Springer Netherlands
Copyright
© Springer 2006
ISBN
978-1-4020-4757-2
Pages
217 –241
DOI
10.1007/978-1-4020-4758-9_8
Publisher site
See Chapter on Publisher Site

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.]

Published: Jan 1, 2006

There are no references for this article.