Skip to main content
PBS logo
 
 

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:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.