Two Variable vs. Linear Temporal Logic in Model Checking and Games
Verification tasks have non-elementary complexity for properties of linear traces specified in first-order logic, and thus various limited logical languages are employed. In this paper we consider two restricted specification logics, linear temporal logic (LTL) and two-variable first-order logic (FO...
| Principais autores: | , , |
|---|---|
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
2011
|