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