A platform for combining deductive with algorithmic verification
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 184-195
- https://doi.org/10.1007/3-540-61474-5_68
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- An integration of model checking with automated proof checkingPublished by Springer Nature ,1995
- Beyond model checkingLecture Notes in Computer Science, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Verification of a multiplier: 64 bits and beyondPublished by Springer Nature ,1993
- Linking BDD-based symbolic evaluation to interactive theorem-provingPublished by Association for Computing Machinery (ACM) ,1993