Counterexample Driven Refinement for Abstract Interpretation
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 474-488
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Loop Invariants on DemandLecture Notes in Computer Science, 2005
- Modular verification of software components in CIEEE Transactions on Software Engineering, 2004
- Widening Operators for Powerset DomainsLecture Notes in Computer Science, 2004
- Constraint-Based Linear-Relations Analysis2004
- Precise Widening Operators for Convex PolyhedraLecture Notes in Computer Science, 2003
- Automatically validating temporal safety properties of interfaces2001
- Counterexample-Guided Abstraction Refinement2000
- Dynamic Partitioning in Analyses of Numerical Properties1999
- Construction of abstract state graphs with PVS1997
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992