Checking Memory Safety with Blast

This publication has 18 references indexed in Scilit:

• Modular verification of software components in C
  IEEE Transactions on Software Engineering, 2004
• Abstractions from proofs
  Published by Association for Computing Machinery (ACM) ,2004
• Zing: A Model Checker for Concurrent Software
  Published by Springer Nature ,2004
• CCured in the real world
  Published by Association for Computing Machinery (ACM) ,2003
• Software Verification with BLAST
  Published by Springer Nature ,2003
• Temporal-Safety Proofs for Systems Code
  Published by Springer Nature ,2002
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Efficient detection of all pointer and array access errors
  Published by Association for Computing Machinery (ACM) ,1994
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
  The Journal of Symbolic Logic, 1957