Neyzov Maxim Vyacheslavovich

Publications in Math-Net.Ru

1. Using TLA+/TLC for modeling and verification of cryptographic protocols
   
   Model. Anal. Inform. Sist., 31:4 (2024),  446–473
2. LTL-specification for development and verification of logical control programs in feedback systems
   
   Model. Anal. Inform. Sist., 31:3 (2024),  240–279
3. Verification of declarative LTL-specification of control programs behavior
   
   Model. Anal. Inform. Sist., 31:2 (2024),  120–141
4. Ltl-specification for development and verification of control programs
   
   Model. Anal. Inform. Sist., 30:4 (2023),  308–339