Technical systems in logic questions of formalization and automatic verification

Main Article Content

A. N. Nepeivoda

Аннотация




In the paper technical systems with counters are considered as logical models. The questions of formalization in temporal logic and automatic analysis via computational tree transformations are discussed.




Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
A. N. Nepeivoda. Technical systems in logic // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.
.
Раздел
Статьи