16+
Воскресенье
26 мая
Вход |Карта сайта |Upload |codebook | PARTS

 О смысле всего сущего 0xFF

 Средства и методы разработки

 Мобильная и беспроводная связь

 Блошиный рынок Объявления

caxapa

Микроконтроллеры ARM 

AVR PIC MSP PLD,FPGA,DSP 

Кибернетика Технологии 

Схемы, платы, компоненты 

Средства и методы разработки

 
Новая темаПравила РегистрацияСтатистика Архив
Вернуться в конференциюТопик полностью
VVB_  (18.05.2018 07:40) , в ответ на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! автор: Evgeny_CD
Просветите немного, раз немного въехали в тему. 
Как модель в Promela перевести в модель на C/C++? Ручками? "Поведение программы описывается на формально непротиворечивом языке" это на Promela? "и на этой основе верифицируется поведение программы" это уже реализация программы на Си и её верификация?
Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXIX