Formal Verification of a Combination Decision Procedure.

Jonathan Ford Natarajan Shankar

Published in: CADE (2002)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
decision rules
program slicing
classification decisions
decision makers
temporal logic
neural network
web services
open source
decision problems
functional verification