On the Model Checking Problem for Some Extension of CTL*
Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters. The result of the operation of such computing systems are...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Yaroslavl State University
2020-12-01
|
| Col·lecció: | Моделирование и анализ информационных систем |
| Matèries: | |
| Accés en línia: | https://www.mais-journal.ru/jour/article/view/1434 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|