Free Delivery Over $100
|
|
|||
|
||||
OverviewIntegrating 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. Full Product DetailsAuthor: Pallab DasguptaPublisher: Springer Imprint: Springer ISBN: 9786610745036ISBN 10: 661074503 Pages: 260 Publication Date: 01 January 2006 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: Out of stock  The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
