Автоматизация верификации программ

Описание: Рассмотрим формальные постановки задач анализа корректности.
Введем ограничение: будем рассматривать программы, начинающиеся оператором START (первый выполняемый оператор) и заканчивающиеся оператором STOP (последний выполняемый оператор).
Спецификацию программы Prgm будем определять путем приписывания индуктивных утверждений точкам разреза графа потоков управления программы (точкам между операторами программы).
Реферат содержит 1 файл: 

Содержание.doc

283.50 Кб | Файл microsoft Word  открыть 
Не получается скачать реферат Автоматизация верификации программ? - Техническая поддержка
Поиск по сайту

Предметы