Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM

This publication has 16 references indexed in Scilit:

• Exploiting heap symmetries in explicit-state model checking of software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Software Verification with BLAST
  Published by Springer Nature ,2003
• Directed Automated Theorem Proving
  Published by Springer Nature ,2002
• Model checking Java programs using structural heuristics
  ACM SIGSOFT Software Engineering Notes, 2002
• Partial Order Reduction in Directed Model Checking
  Published by Springer Nature ,2002
• Logic Verification of ANSI-C Code with SPIN
  Published by Springer Nature ,2000
• dSPIN: A Dynamic Extension of SPIN
  Published by Springer Nature ,1999
• Modeling and verification of sC++ applications
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997