Непомнящий Валерий Александрович

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

1. Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов
   
   Модел. и анализ информ. систем, 25:5 (2018),  491–505
2. Invariant elimination of definite iterations over arrays in C programs verification
   
   Модел. и анализ информ. систем, 24:6 (2017),  743–754
3. Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM
   
   Модел. и анализ информ. систем, 23:6 (2016),  688–702
4. Loop invariants elimination for definite iterations over unchangeable data structures in C programs
   
   Модел. и анализ информ. систем, 22:6 (2015),  773–782
5. The application of coloured Petri nets to verification of distributed systems specified by message sequence charts
   
   Труды ИСП РАН, 27:3 (2015),  197–218
6. Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри
   
   Модел. и анализ информ. систем, 21:6 (2014),  94–106
7. Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
   
   Модел. и анализ информ. систем, 20:6 (2013),  52–63
8. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
   
   Тр. СПИИРАН, 26 (2013),  349–383
9. Дедуктивная верификация протокола скользящего окна
   
   Модел. и анализ информ. систем, 19:6 (2012),  57–68
10. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри
    
    Модел. и анализ информ. систем, 18:4 (2011),  144–156
11. Верификация C-программ в мультиязыковой системе СПЕКТР
    
    Модел. и анализ информ. систем, 17:4 (2010),  88–100
12. Верификация C-программ на основе смешанной аксиоматической семантики
    
    Модел. и анализ информ. систем, 17:3 (2010),  5–28
13. О полноте операций в операторных алгоритмах
    
    Докл. АН СССР, 199:4 (1971),  780–782
14. Рудиментарные предикаты и тьюринговы вычисления
    
    Докл. АН СССР, 195:2 (1970),  282–284
15. О некоторых автоматах, способных вычислять базис для рекурсивно-перечислимых множеств
    
    Алгебра и логика. Семинар, 5:5 (1966),  69–83
16. Об одном базисе для рекурсивно-перечислимых множеств
    
    Докл. АН СССР, 170:6 (1966),  1262–1264


17. Борис Абрамович Трахтенброт (к столетию со дня рождения)
    
    УМН, 77:1(463) (2022),  191–195
18. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 21:6 (2014),  5–6
19. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 18:4 (2011),  5–6
20. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 17:4 (2010),  1–2