Temporal Verification of Reactive Systems : Safety /

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 chec...

Full description

Bibliographic Details

Main Author:	Manna, Zohar
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pnueli, Amir
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1995.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book