Кулямин В.В. Перспективы интеграции методов верификации программного обеспечения

М.: Институт системного программирования РАН, 2008. — 12 с. В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом испытательного стенда для апробации и отладки большого числа новых предлагаемых техник формальных верификации и статического анализа на разнообразном промышленном программном обеспечении. Синтетические методы верификации ПО.
Подход к построению расширяемой среды верификации ПО.
Анализ требований.
Поддержка различных языков и нотаций.
Архитектурная основа среды верификации.
Организация разработки среды верификации.