ENGLISH

Temporal Verification of Reactive Systems: Safety

By Manna Z. , Pnueli A.

Book information

Publisher
Springer
Year
1995
ISBN
0387944591, 9780387944593
LCC
QA76.76.V47 M36 1995
Open Library ID
OL1273949M
Language
english
Format
DJVU
Filesize
4 MB (4632102 bytes)
Pages
531\531
Library
Kolxo3
DPI
600
Time added
2011-07-22 07:35:22

Description

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.

Similar books