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