Relative Completeness of Abstraction Refinement for Software Model Checking

This publication has 24 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• Successive approximation of abstract transition relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Virtual Storytelling Using Virtual Reality Technologies for Storytelling
  Published by Springer Nature ,2001
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
  Published by Springer Nature ,1999
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978