Combining model checking and theorem proving to verify parallel processes
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 154-165
- https://doi.org/10.1007/3-540-56922-7_13
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Functional extension of symbolic model checkingPublished by Springer Nature ,1992
- Verifying the correctness of AADL modules using model checkingPublished by Springer Nature ,1990
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988