“Next” Heuristic for On-the-Fly Model Checking

This publication has 18 references indexed in Scilit:

• Minimal model generation
  Published by Springer Nature ,2005
• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Protocol verification as a hardware design aid
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Reactive modules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• MOCHA: Modularity in model checking
  Published by Springer Nature ,1998
• Symbolic exploration of transition hierarchies
  Published by Springer Nature ,1998
• Computer-aided verification
  IEEE Spectrum, 1996
• Symmetry and model checking
  Published by Springer Nature ,1993
• Exploiting symmetry in temporal logic model checking
  Published by Springer Nature ,1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993