Quantified Computation Tree Logic.

Anindya C. Patthak Indrajit Bhattacharya Anirban Dasgupta Pallab Dasgupta P. P. Chakrabarti

Published in: Inf. Process. Lett. (2002)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
epistemic logic
temporal properties
formal methods
modal logic
image processing
satisfiability problem
formal specification
formal verification
model checker
minimal change