Новости
Перспективы интеграции методов верификации программного обеспечения.
Аннотация
В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом испытательного стенда для апробации и отладки большого числа новых предлагаемых техник формальных верификации и статического анализа на разнообразном промышленном программном обеспечении.
Издание
Труды Института системного программирования РАН, том 16, 2009, стр. 73-88.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Для цитирования
Полный текст статьи в формате pdf![](/bitrix/templates/ispran/images/out_link.png)
![](/bitrix/templates/ispran/images/out_link.png)