спецификация

Кондратьев Д.А. Марьясов И.В. Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // Системная информатика. — . — № 10.  — С. 57-66
Кондратьев Д.А. Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // Системная информатика. — . — № 1.  — С. 79-96
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // Системная информатика. — . — № 21.  — С. 1-28
Гнатенко А.Р. Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // Системная информатика. — . — № 17.  — С. 21-32
Подписаться на спецификация