Вы здесь

Кондратьев Д. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов 2022 Непомнящий В. А., Кондратьев Д. А. Программирование 03.10.2022
Д Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями 2022 Кондратьев Д. А. 19.09.2022
А Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями 2022 Кондратьев Д. А. 19.09.2022
М Система облачного параллельного программирования CPPS: Визуализация и верификация Cloud Sisal программ 2020 Касьянов В. Н., Гордеев Д. С., Золотухин Т. А., Касьянова Е. В., Кондратьев Д. А. Конструирование и оптимизация программ
  1. Касьянов В. Н.
ИСИ СО РАН 12.03.2021
СТ Разработка самоприменимой системы верификации. Теория и практика 2014 Кондратьев Д. А., Промский А. В. Моделирование и анализ информационных систем 23.05.2015
СТ Автоматическая верификация С-программ на основе смешанной аксиоматической семантики 2013 Марьясов И. В., Непомнящий В. А., Промский А. В., Кондратьев Д. А. Моделирование и анализ информационных систем 22.04.2014