RuleBase: Model checking at IBM
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 480-483
- https://doi.org/10.1007/3-540-63166-6_53
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- High-density reachability analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996
- Using formal verification/analysis methods on the critical path in system design: A case studyPublished by Springer Nature ,1995
- Efficient model checking by automated ordering of transition relation partitionsPublished by Springer Nature ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993