Cycle detection in computation tree logic
<p>Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision problems such as model checking and satisfiability. In these kind of problems, the solution often requires detectin...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Electronic Proceedings in Theoretical Computer Science
2016
|