Новости
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Перспективы интеграции методов верификации программного обеспечения.
Аннотация
В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом испытательного стенда для апробации и отладки большого числа новых предлагаемых техник формальных верификации и статического анализа на разнообразном промышленном программном обеспечении.
Издание
Труды Института системного программирования РАН, том 16, 2009, стр. 73-88.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).