Лукин Михаил Андреевич. Верификация автоматных программ. Диссертация на соискание ученой степени кандидата технических наук. Санкт-Петербург - 2014. 2014
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
|
Глава 1. Основные понятия
В теории автоматов рассматриваются два класса автоматов: абстрактные и структурные [42]. Сначала рассмотрим абстрактные автоматы.
Глава 2. Обзор методов верификации автоматных программ разных типов
Глава 3. Описание предлагаемого метода
Описание инструментального средства Stater
Глава 4. Внедрение