Temporal Verification Of Reactive Systems: Safety
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | August 1995 |
Authors | Amir Pnueli |
Zohar Manna | |
Editors | Amir Pnueli |
Zohar Manna | |
Date of Reg. | |
Date of Upd. | |
ID | 2056444 |
About Temporal Verification Of Reactive Systems: Safety
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. . . .