В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняется понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям.

Математичні машини і системи [Текст] : наук. журнал / Нац. акад. наук України, Ін-т проблем темат. машин і систем Нац. акад. наук України. — К.

• Праці співробітників ХАІ // Горбенко А.В./Gorbenko A.
• УДК // Надійність і точність
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• Праці співробітників ХАІ // Тарасюк О.М.
• Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.