Syntactic Program Transformations for Automatic Abstraction
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 435-449
- https://doi.org/10.1007/10722167_33
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model CheckingPublished by Springer Nature ,2003
- First-Order-CTL Model CheckingPublished by Springer Nature ,1998
- Computing abstractions of infinite state systems compositionally and automaticallyPublished by Springer Nature ,1998
- Generating finite-state abstractions of reactive systems using decision proceduresPublished by Springer Nature ,1998
- Symbolic model checking of infinite state systems using presburger arithmeticPublished by Springer Nature ,1997
- Combining constraint solving and symbolic model checking for a class of systems with non-linear constraintsPublished by Springer Nature ,1997
- Generation of reduced models for checking fragments of CTLPublished by Springer Nature ,1993
- Symmetry and model checkingPublished by Springer Nature ,1993
- Exploiting symmetry in temporal logic model checkingPublished by Springer Nature ,1993
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986