The Lambda Approach to System Verification
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Formal Tools for Tri-State Design in BussesPublished by Elsevier ,1993
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986