C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Manipulating LTL Formulas Using Spot 1.0.
Alexandre Duret-Lutz
Published in:
ATVA (2013)
Keyphrases
</>
linear time temporal logic
model checking
linear temporal logic
temporal logic
natural deduction
bounded model checking
databases
multi agent systems
modal logic
sequent calculus
hidden markov models