CTL-RP: A computation tree logic resolution prover.

Lan Zhang Ullrich Hustadt Clare Dixon

Published in: AI Commun. (2010)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
epistemic logic
temporal properties
theorem proving
theorem prover
modal logic
formal specification
model checker
formal verification
minimal change
linear temporal logic
cooperative
belief revision