Using truth-preserving reductions to improve the clarity of kripke-models

This publication has 8 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The concurrency workbench
  Published by Springer Nature ,1990
• CCS, liveness, and local model checking in the linear time mu-calculus
  Published by Springer Nature ,1990
• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• Characterizing Kripke structures in temporal logic
  Lecture Notes in Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985