Нейзов Максим Вячеславович

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

1. Применение TLA+/TLC для моделирования и верификации криптографических протоколов
   
   Модел. и анализ информ. систем, 31:4 (2024),  446–473
2. LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью
   
   Модел. и анализ информ. систем, 31:3 (2024),  240–279
3. Верификация декларативной LTL-спецификации поведения управляющих программ
   
   Модел. и анализ информ. систем, 31:2 (2024),  120–141
4. LTL-спецификация для разработки и верификации управляющих программ
   
   Модел. и анализ информ. систем, 30:4 (2023),  308–339