Books+ Search Results
A Roadmap for Formal Property Verification
Author
Title
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.
ISBN
9781402047589
Publication
Dordrecht : Springer Netherlands, 2006.
Physical Description
1 online resource (XIV, 252 p.)
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
July 01, 2019
Contents
Languages for Temporal Properties
How Does the Property Checker Work?
Is My Specification Consistent?
Have I Written Enough Properties?
Design Intent Coverage
Test Generation Games
A Roadmap for Formal Property Verification.
Subjects
Also listed under
Bookmark As
Citation
