Zing: A Model Checker for Concurrent Software

This publication has 11 references indexed in Scilit:

• Zing: A Model Checker for Concurrent Software
  Published by Springer Nature ,2004
• Stuck-Free Conformance
  Published by Springer Nature ,2004
• Transactions for Software Model Checking
  Electronic Notes in Theoretical Computer Science, 2003
• Conformance Checking for Models of Asynchronous Message Passing Software
  Published by Springer Nature ,2002
• Model checking programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
• Logic Verification of ANSI-C Code with SPIN
  Published by Springer Nature ,2000
• dSPIN: A Dynamic Extension of SPIN
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Some applications of Rabin’s fingerprinting method
  Published by Springer Nature ,1993
• Reduction
  Communications of the ACM, 1975