Real-time and the Mu-Calculus (preliminary report)

This publication has 34 references indexed in Scilit:

• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Decision procedures and expressiveness in the temporal logic of branching time
  Journal of Computer and System Sciences, 1985
• Basic Tense Logic
  Published by Springer Nature ,1984
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Alternation
  Journal of the ACM, 1981
• Characterizing correctness properties of parallel programs using fixpoints
  Published by Springer Nature ,1980