RVF: An Automated Formal Verification System.

Tie-Cheng Wang Allen Goldberg

Published in: CADE (1992)

Keyphrases

formal verification
model checking
automated verification
bounded model checking
semi automated
symbolic model checking
model checker
neural network
fully automated
first order logic
temporal logic
probabilistic reasoning
coloured petri nets