Incremental Verification by Abstraction
- 23 March 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Verifying Universal Properties of Parameterized NetworksPublished by Springer Nature ,2000
- Counterexample-Guided Abstraction RefinementPublished by Springer Nature ,2000
- Automatic Generation of InvariantsFormal Methods in System Design, 1999
- Computing abstractions of infinite state systems compositionally and automaticallyPublished by Springer Nature ,1998
- 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
- Model checking for extended timed temporal logicsPublished by Springer Nature ,1996
- Optimality in abstractions of model checkingPublished by Springer Nature ,1995
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- An iterative approach to language containmentPublished by Springer Nature ,1993