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