Finding feasible abstract counter-examples
- 18 December 2002
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 5 (1), 34-48
- https://doi.org/10.1007/s10009-002-0088-z
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Bandera: extracting finite-state models from Java source codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatically validating temporal safety properties of interfacesLecture Notes in Computer Science, 2001
- Automatic predicate abstraction of C programsACM SIGPLAN Notices, 2001
- Boolean and Cartesian Abstraction for Model Checking C ProgramsLecture Notes in Computer Science, 2001
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- Counterexample-Guided Abstraction RefinementLecture Notes in Computer Science, 2000
- Abstract interpretation of reactive systemsACM Transactions on Programming Languages and Systems, 1997
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- Model checking using adaptive state and data abstractionLecture Notes in Computer Science, 1994
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977