New answers tagged linear-temporal-logic
1
vote
Accepted
How can I prove that LTL formula is valid?
There are two main technique in order to prove validity (or more in general, to solve the problem of satisfiability over a definite model) for a LTL formula.
The first one is based on semantic tableau,...
Top 50 recent answers are included
Related Tags
linear-temporal-logic × 85logic × 39
model-checking × 24
temporal-logic × 17
automata × 15
formal-methods × 13
computation-tree-logic × 9
buchi-automata × 9
software-verification × 5
simulation × 4
complexity-theory × 3
reference-request × 3
proof-techniques × 2
binary-trees × 2
game-theory × 2
hoare-logic × 2
mu-calculus × 2
formal-languages × 1
time-complexity × 1
finite-automata × 1
terminology × 1
undecidability × 1
regular-expressions × 1
search-algorithms × 1
satisfiability × 1