New answers tagged

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,...
user avatar
  • 800

Top 50 recent answers are included