Counterexample Driven Refinement for Abstract Interpretation
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 474-488
- https://doi.org/10.1007/11691372_34
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Loop Invariants on DemandPublished by Springer Nature ,2005
- Modular verification of software components in CIEEE Transactions on Software Engineering, 2004
- Widening Operators for Powerset DomainsPublished by Springer Nature ,2004
- Constraint-Based Linear-Relations AnalysisPublished by Springer Nature ,2004
- Precise Widening Operators for Convex PolyhedraPublished by Springer Nature ,2003
- Automatically validating temporal safety properties of interfacesPublished by Springer Nature ,2001
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Dynamic Partitioning in Analyses of Numerical PropertiesPublished by Springer Nature ,1999
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992