Temporal Verification of Reactive Systems: Safety

by Amir Pnueli and Zohar Manna

Book Overview

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. The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical...

• Format: Paperback
• Language: English
• ISBN: 1461287014
• ISBN13: 9781461287018
• Release Date: August 2012
• Publisher: Springer
• Length: 512 Pages
• Weight: 1.64 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"