Temporal Verification of Reactive Systems: Safety photograph

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.
ID2056444
Send edit request

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

Related Persons

Next Profile ❯