Boxes: A Symbolic Abstract Domain of Boxes

This publication has 17 references indexed in Scilit:

• Decision diagrams for linear arithmetic
  2009
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
  Science of Computer Programming, 2008
• Automatically Refining Abstract Interpretations
  2008
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
  2007
• Widening operators for powerset domains
  International Journal on Software Tools for Technology Transfer, 2006
• A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
  Science of Computer Programming, 1998
• Construction of abstract state graphs with PVS
  1997
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Systematic design of program analysis frameworks
  1979