PVS: Combining specification, proof checking, and model checking
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 257-264
- https://doi.org/10.1007/bfb0031813
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Modular verification of SRT divisionPublished by Springer Nature ,1996
- Inverting the abstraction mapping: A methodology for hardware verificationPublished by Springer Nature ,1996
- An integration of model checking with automated proof checkingPublished by Springer Nature ,1995
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Finiteness is mu-ineffableTheoretical Computer Science, 1976