Counter-Example Based Predicate Discovery in Predicate Abstraction
- 5 November 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Predicate abstraction for software verificationPublished by Association for Computing Machinery (ACM) ,2002
- The S LAM projectPublished by Association for Computing Machinery (ACM) ,2002
- A Technique for Invariant GenerationPublished by Springer Nature ,2001
- Incremental Verification by AbstractionPublished by Springer Nature ,2001
- InVeSt : A tool for the verification of invariantsPublished by Springer Nature ,1998
- Generating finite-state abstractions of reactive systems using decision proceduresPublished by Springer Nature ,1998
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Timing Verification by Successive ApproximationInformation and Computation, 1995
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- An iterative approach to language containmentPublished by Springer Nature ,1993