Model Checking vs. Theorem Proving: A Manifesto

This publication has 35 references indexed in Scilit:

• Knowledge and common knowledge in a Byzantine environment: Crash failures
  Information and Computation, 1990
• Efficient temporal reasoning (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1989
• Belief, awareness, and limited reasoning
  Artificial Intelligence, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• How processes learn
  Distributed Computing, 1986
• Reasoning about networks with many identical finite-state processes
  Published by Association for Computing Machinery (ACM) ,1986
• Decision procedures and expressiveness in the temporal logic of branching time
  Journal of Computer and System Sciences, 1985
• On the semantics of updates in databases
  Published by Association for Computing Machinery (ACM) ,1983
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Scenes and Other Situations
  The Journal of Philosophy, 1981