Search - Temporal Verification of Reactive Systems : Safety

Temporal Verification of Reactive Systems : Safety
Temporal Verification of Reactive Systems Safety
Author: Zohar Manna, Amir Pnueli
This book presents an extensive verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods include deductive approaches based on theorem proving and fully automatic approaches based on model checking. All researchers and students interested i...  more »
ISBN-13: 9780387944593
ISBN-10: 0387944591
Publication Date: 8/4/1995
Pages: 512
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: