Подымов Владислав Васильевич

Публикации в базе данных Math-Net.Ru

1. Эффективные алгоритмы проверки эквивалентности пропозициональных программ Мили на уравновешенных шкалах
   
   ПДМ, 2025, № 70,  72–101
2. Формальная верификация диаграмм троичных цифровых сигналов
   
   Модел. и анализ информ. систем, 26:3 (2019),  332–350
3. Анализ баллистокардиограммы на граничных вычислительных узлах
   
   Труды ИСП РАН, 30:2 (2018),  251–262
4. VERMONT – средство верификации программно-конфигурируемых сетей
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  74–87
5. Применение алгоритмов проверки эквивалентности для оптимизации программ
   
   Труды ИСП РАН, 27:4 (2015),  145–174
6. Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193),  169–179
7. Как разработать простое средство верификации систем реального времени
   
   Модел. и анализ информ. систем, 19:6 (2012),  45–56