Trail-Directed Model Checking

This publication has 14 references indexed in Scilit:

• Bandera: extracting finite-state models from Java source code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Directed explicit model checking with HSF-SPIN
  Published by Springer Nature ,2001
• Efficient Guiding Towards Cost-Optimality in UPPAAL
  BRICS Report Series, 2001
• Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
  International Journal on Software Tools for Technology Transfer, 2000
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Symbolic guided search for CTL model checking
  Published by Association for Computing Machinery (ACM) ,2000
• VIP: A Visual Editor and Compiler for v-Promela
  Published by Springer Nature ,2000
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• A Formal Basis for the Heuristic Determination of Minimum Cost Paths
  IEEE Transactions on Systems Science and Cybernetics, 1968
• A note on two problems in connexion with graphs
  Numerische Mathematik, 1959