Model Checking the Garbage Collection Mechanism of SMV
Open Access
- 31 October 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 55 (3) , 289-303
- https://doi.org/10.1016/s1571-0661(04)00258-0
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- The Temporal Logic SugarPublished by Springer Nature ,2001
- Efficient Detection of Vacuity in Temporal Model CheckingFormal Methods in System Design, 2001
- On the Effective Deployment of Functional Formal VerificationFormal Methods in System Design, 2001
- Bebop: A Symbolic Model Checker for Boolean ProgramsPublished by Springer Nature ,2000
- Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance NetlistsPublished by Springer Nature ,1999
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- A Formal Verification Environment for Railway Signaling System DesignFormal Methods in System Design, 1998
- RuleBase: Model checking at IBMPublished by Springer Nature ,1997
- Efficient detection of vacuity in ACTL formulasPublished by Springer Nature ,1997
- RuleBasePublished by Association for Computing Machinery (ACM) ,1996