A BDD-Based Model Checker for Recursive Programs
- 4 July 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 324-336
- https://doi.org/10.1007/3-540-44585-4_30
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A BDD-Based Model Checker for Recursive ProgramsLecture Notes in Computer Science, 2001
- Automatically validating temporal safety properties of interfacesLecture Notes in Computer Science, 2001
- Bebop: A Symbolic Model Checker for Boolean ProgramsLecture Notes in Computer Science, 2000
- Reachability analysis of pushdown automata: Application to model-checkingLecture Notes in Computer Science, 1997
- Symbolic model checking for sequential circuit verificationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972