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