Input Elimination and Abstraction in Model Checking
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 304-320
- https://doi.org/10.1007/3-540-49519-3_20
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Early quantification and partitioned transition relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Disjunctive partitioning and partial iterative squaringPublished by Association for Computing Machinery (ACM) ,1997
- Another Look at LTL Model CheckingFormal Methods in System Design, 1997
- Model CheckingPublished by Springer Nature ,1996
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- Model checking and abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991