Implementing a model checking algorithm by adapting existing automated tools

This publication has 8 references indexed in Scilit:

• Proof systems for Hennessy-Milner Logic with recursion
  Published by Springer Nature ,2005
• Local model checking in the modal mu-calculus
  Lecture Notes in Computer Science, 1989
• 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
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969