Main Верификация автоматных программ

Верификация автоматных программ

Name: Верификация автоматных программ
Rating: 4.0 (4 reviews)

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.

4.0 / 5.0

0 comments

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автома

Request Code : ZLIBIO1649359

Categories:

Year:

2011

Publisher:

Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики

Language:

Russian

Pages:

246