Верификация автоматных программ
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автома
年:
2011
出版社:
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и
语言:
russian
页:
246
文件:
PDF, 2.62 MB
IPFS:
,
russian, 2011