Automated temporal reasoning about reactive systems

This publication has 89 references indexed in Scilit:

• A linear-time model-checking algorithm for the alternation-free modal mu-calculus
  Formal Methods in System Design, 1993
• A theory and implementation of sequential hardware equivalence
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• A model and temporal proof system for networks of processes
  Distributed Computing, 1986
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Alternative semantics for temporal logics
  Theoretical Computer Science, 1983
• The temporal logic of branching time
  Acta Informatica, 1983
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• From State Machines to Temporal Logic: Specification Methods for Protocol Standards
  IEEE Transactions on Communications, 1982
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982