ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
25 апреля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
841668 Топик полностью
Evgeny_CD, Архитектор (18.05.2018 02:40, просмотров: 298) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!
Тулзы для верификации моделей -> https://en.wikipedia.org/wiki/Model_checking
Ответить