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,...
- 800
Top 50 recent answers are included