Fischer's protocol revisited: A simple proof using modal constraints

This publication has 19 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A theory of timed automata
  Published by Elsevier ,2002
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• A Compositional Proof System for the Modal mu-Calculus
  BRICS Report Series, 1994
• Parametric real-time reasoning
  Published by Association for Computing Machinery (ACM) ,1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Published by Springer Nature ,1992
• Generating BDDs for symbolic model checking in CCS
  Published by Springer Nature ,1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986