Login / Signup
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