Regular Model Checking
Top Cited Papers
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 403-418
- https://doi.org/10.1007/10722167_31
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Transitive Closures of Regular Relations for Verifying Infinite-State SystemsPublished by Springer Nature ,2000
- Multiple counters automata, safety analysis and presburger arithmeticPublished by Springer Nature ,1998
- Mosel: A flexible toolset for monadic second-order logicPublished by Springer Nature ,1997
- Symbolic verification of communication protocols with infinite state spaces using QDDsPublished by Springer Nature ,1996
- Symbolic verification with periodic setsPublished by Springer Nature ,1994
- Delay analysis in synchronous programsPublished by Springer Nature ,1993
- On the regular structure of prefix rewritingTheoretical Computer Science, 1992
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977