On combining formal and informal verification
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 376-387
- https://doi.org/10.1007/3-540-63166-6_37
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- VIS: A system for verification and synthesisLecture Notes in Computer Science, 1996
- High performance BDD package by exploiting memory hierarchyPublished by Association for Computing Machinery (ACM) ,1996
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Implementing Safety-Critical Systems: The VIPER MicroprocessorPublished by Springer Nature ,1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986