The Temporal Logic of Reactive and Concurrent Systems

by Zohar Manna

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing sys…