ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
29 марта
841677 Топик полностью
VVB_ (18.05.2018 07:40, просмотров: 1) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!
Просветите немного, раз немного въехали в тему. Как модель в Promela перевести в модель на C/C++? Ручками? "Поведение программы описывается на формально непротиворечивом языке" это на Promela? "и на этой основе верифицируется поведение программы" это уже реализация программы на Си и её верификация?