Verification of Reactive Systems: Formal Methods and Algorithms
No Customer Reviews
Select Format
Select Condition 
Book Overview
The book is a foundation of the most important formalisms used for specification and verification of reactive systems. In particular, it presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most...
Format:Paperback
Language:English
ISBN:3642055559
ISBN13:9783642055553
Release Date:December 2010
Publisher:Springer
Length:602 Pages
Weight:1.89 lbs.
Dimensions:1.3" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
