формальная верификация

Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — . — № 14.  — С. 19-30
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // Системная информатика. — . — № 21.  — С. 1-28
Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Розов А.С. Лях Т.В. Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — . — № 17.  — С. 33-42
Подписаться на формальная верификация