Login / Signup
The Deductive Theory Manager: A Knowledge Based System for Formal Verification.
Benedetto L. DiVito
Cristi Garvey
D. Kwong
A. Murray
Jane Solomon
Amy Wu
Published in:
IEEE Symposium on Security and Privacy (1990)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
object oriented
symbolic model checking
theoretical framework
deductive reasoning
general theory
web services
management system
open source
source code
automated verification
program slicing