Login / Signup
Using BDDs to Decide CTL.
Will Marrero
Published in:
TACAS (2005)
Keyphrases
</>
model checking
temporal logic
timed automata
binary decision diagrams
heuristic search
bounded model checking
computation tree logic
machine learning
temporal properties
linear temporal logic
symbolic model checking
real time
domain specific
relational databases
artificial intelligence
epistemic logic
database