дедуктивная верификация

Кулямин В.В. Петренко А.К. Хорошилов А.В. Верификация компонентов операционных систем // Системная информатика. — . — № 10.  — С. 11-22
Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // Системная информатика. — . — № 15.  — С. 45-64
Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // Системная информатика. — . — № 16.  — С. 75-102
Шелехов В.И. Верификация программы преобразования строки в целое число // Системная информатика. — . — № 17.  — С. 43-90
Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // Системная информатика. — . — № 12.  — С. 61-84
Кондратьев Д.А. Промский А.В. На пути к автоматизированной локализации ошибок в C программах с циклами // Системная информатика. — . — № 14.  — С. 31-44
Черненко И.М. Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах // Системная информатика. — . — № 25.  — С. 11-28
Шелехов В.И. Сравнение технологий автоматного программирования и Event-B // Системная информатика. — . — № 18.  — С. 53-84
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // Системная информатика. — . — № 18.  — С. 1-34
Тумуров Э.Г. Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // Системная информатика. — . — № 16.  — С. 103-136
Ищенко А.Д. Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа // Системная информатика. — . — № 25.  — С. 1-10
Черненко И.М. Шаблоны требований, возникающих при дедуктивной верификации процесс-ориентированных программ, и примеры их использования // Системная информатика. — . — № 22.  — С. 11-20
Подписаться на дедуктивная верификация