Description:
Modal checking has become an essential technique for the formal verification of systems. With its clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It provides an introduction to the essential topics, including process calculi for modeling concurrent systems, modal properties of systems, temporal properties of systems, verification techniques for showing temporal properties of systems, modal checking in terms of game-theoretic algorithms, and compositional verification.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Please Wait