Temporal Verification of Reactive Systems: Safety - Rilegato

Pnueli, Amir; Manna, Zohar

 
9780387944593: Temporal Verification of Reactive Systems: Safety
Rilegato
ISBN 10: 0387944591 ISBN 13: 9780387944593
Casa editrice: Springer-Verlag GmbH, 1995

Sinossi

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 in the analysis and verification of reactive and concurrent systems will find this book to be a comprehensive guide on how formal techniques can be used to ensure the correctness of such systems. An educational version of the Stanford Temporal Prover (STeP), a tool which supports the verification of reactive systems, is available for use with this book.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Amir Pnueli is Professor of Computer Science at the Weizmann Institute of Science in Israel.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag GmbH
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
0387944591
ISBN 13 
9780387944593
Rilegatura
Copertina rigida
Numero di pagine
536
Contatto del produttore
non disponibile
Persona responsabile
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9781461287018: Temporal Verification of Reactive Systems: Safety

Edizione in evidenza

ISBN 10:  1461287014 ISBN 13:  9781461287018
Casa editrice: Springer, 2012
Brossura