Черненко Иван Михайлович

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

1. Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы
   
   Модел. и анализ информ. систем, 31:4 (2024),  384–425
2. Шаблоны требований в дедуктивной верификации poST-программ
   
   Модел. и анализ информ. систем, 31:1 (2024),  6–31