ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Среда
2 апреля
841671 Топик полностью
Evgeny_CDАрхитектор (18.05.2018 02:53, просмотров: 225) ответил Evgeny_CD на Просто охренеть можно! Мощнейший аппарат описания поведения любого ПО и верификации реального ПО на соответствие модели. Море книг. Стройный математический аппарат. Интересно, Шалыто со своим автоматным программированием, создатель Дракона - они
Шалыто в книге 2011 года уверенно пишет про темпоральную логику как способ верификации автоматных программ. Так что знает.