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