Incremental Algorithms for Inter-procedural Analysis of Safety Properties

This publication has 29 references indexed in Scilit:

• An experimental evaluation of continuous testing during development
  Published by Association for Computing Machinery (ACM) ,2004
• The dynamic complexity of transitive closure is in DynTC0
  Theoretical Computer Science, 2003
• A System and Language for Building System-Specific, Static Analyses
  Published by Defense Technical Information Center (DTIC) ,2002
• A BDD-Based Model Checker for Recursive Programs
  Published by Springer Nature ,2001
• The SLAM Toolkit
  Published by Springer Nature ,2001
• Analysis of Recursive State Machines
  Published by Springer Nature ,2001
• Model Checking of Unrestricted Hierarchical State Machines
  Published by Springer Nature ,2001
• On the computational complexity of dynamic graph problems
  Theoretical Computer Science, 1996
• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975