Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on unive

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two k

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The b