Перспективы интеграции методов верификации программного обеспечения
Перспективы интеграции методов верификации программного обеспеченияВведение
Синтетические методы верификации ПО
Подход к построению расширяемой среды верификации ПО
Анализ требований
Поддержка различных языков и нотаций
Архитектурная основа среды верификации
Организация разработки среды верификации
Заключение
Литература
Содержание раздела
