The state of Spin

This publication has 9 references indexed in Scilit:

• On nested depth first search
  Published by American Mathematical Society (AMS) ,1997
• Partial order reduction: Model-checking using representatives
  Published by Springer Nature ,1996
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• An improved protocol reachability analysis technique
  Software: Practice and Experience, 1988
• Temporal logic can be more expressive
  Information and Control, 1983
• Communicating sequential processes
  Communications of the ACM, 1978
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975