Login / Signup
The Analityc Tableaux for Linear Temporal Logic.
Regimantas Pliuskevicius
Published in:
TABLEAUX (1992)
Keyphrases
</>
linear temporal logic
temporal logic
modal logic
model checking
bounded model checking
functional dependencies
inference rules
finite state
model checker
situation calculus