On the Expressive Power of Some Extensions of Linear Temporal Logic

Autores: Gnatenko A.R.¹, Zakharov V.A.¹
Afiliações:
1. National Research University, Higher School of Economics (HSE)
Edição: Volume 53, Nº 7 (2019)
Páginas: 663-675
Seção: Article
URL: https://journals.rcsi.science/0146-4116/article/view/175896
DOI: https://doi.org/10.3103/S014641161907006X
ID: 175896

Citar

Texto integral

Acesso aberto
Acesso é fechado

Acesso está concedido
Acesso é fechado

Somente assinantes

temporal logics, expressive power, specification, verification, Büchi automata, infinite words

National Research University, Higher School of Economics (HSE)

Autor responsável pela correspondência
Email: gnatenko.cmc@gmail.com
Rússia, Moscow, 101000

National Research University, Higher School of Economics (HSE)

Autor responsável pela correspondência
Email: zakh@cs.msu.ru
Rússia, Moscow, 101000

Ação

1. JATS XML