Выводы по главе 2

1. Обосновано, что для автоматных программ может быть обеспечен высокий уровень автоматизации процесса верификации

2. Выполнен анализ инструментальных средств для верификации программ

3. Из выполненного сравнения подходов к верификации автоматных программ следует, что в настоящее время отсутствует метод для верификации автоматных программ рассматриваемого в диссертации вида.