The Model-Checking Kit
- 27 May 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 463-472
- https://doi.org/10.1007/3-540-44919-1_29
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Verification of asynchronous circuits by BDD-based model checking of Petri netsLecture Notes in Computer Science, 1995
- Formal Development of Reactive SystemsLecture Notes in Computer Science, 1995
- B(PN) 2 — a basic Petri net programming notationLecture Notes in Computer Science, 1993
- On-the-fly verification with stubborn setsLecture Notes in Computer Science, 1993
- Symbolic Model CheckingPublished by Springer Science and Business Media LLC ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Self-Timed FIFO: An Exercise in Compiling Programs into VLSI CircuitsPublished by Defense Technical Information Center (DTIC) ,1986