Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Среда
2 апреля
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
841670
Топик полностью
Evgeny_CD
Архитектор
(18.05.2018 02:46, просмотров: 202)
ответил
Evgeny_CD
на
[Формальная верификация ПО]
-
[PROMELA, SPIN, Cobra]
С подачи fk0 ->, которому я сильно признателен за наводку!!!
fk0, вот чего ты молчал про такую штуку?
Ответить