Revising Specifications with CTL Properties Using Bounded Model Checking.

Marcelo Finger Renata Wassermann

Published in: SBIA (2008)

Keyphrases

bounded model checking
model checking
temporal epistemic
formal verification
computation tree logic
temporal logic
temporal properties
linear temporal logic
multi agent systems
model checker
belief revision
transition systems