Mosel: A sound and efficient tool for M2L(Str)
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 448-451
- https://doi.org/10.1007/3-540-63166-6_45
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Mosel: A flexible toolset for monadic second-order logicPublished by Springer Nature ,1997
- Fully automatic verification and error detection for parameterized iterative sequential circuitsPublished by Springer Nature ,1996
- Mona: Monadic second-order logic in practicePublished by Springer Nature ,1995
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATONPublished by Elsevier ,1971