Directed explicit model checking with HSF-SPIN

This publication has 19 references indexed in Scilit:

• Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
  International Journal on Software Tools for Technology Transfer, 2000
• VIP: A Visual Editor and Compiler for v-Promela
  Published by Springer Nature ,2000
• OBDDs in heuristic search
  Published by Springer Nature ,1998
• An Analysis of Bitstate Hashing
  Formal Methods in System Design, 1998
• Protocol verification made simple: a tutorial
  Computer Networks and ISDN Systems, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Alternating automata, the weak monadic theory of the tree, and its complexity
  Lecture Notes in Computer Science, 1986
• On Communicating Finite-State Machines
  Journal of the ACM, 1983
• Algorithm 360: shortest-path forest with topological ordering [H]
  Communications of the ACM, 1969
• A note on two problems in connexion with graphs
  Numerische Mathematik, 1959