Чеботарьов А. М. Доказове проектування алгоритмів функціонування реактивних систем

Об'єкт - доказове проектування реактивних алгоритмів на початкових етапах їхньої розробки; мета - забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності; методи - математична логіка, теорія автоматів; новизна - побудована теорія та методологія доказового проектування реактивних алгоритмів; результати - запропоновано дворівневу систему мов специфікації, розроблено методи перевірки несуперечності специфікацій, одержано розв'язок проблеми забезпечення коректності взаємодії системи, що проектується, і зовнішнього середовища, одержано ряд нових методів розв'язання задачі синтезу автомата за його логічною специфікацією; галузь - розробка систем управління потенційно небезпечними об'єктами.