Chernenko Ivan Mikhailovich

Publications in Math-Net.Ru

1. Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
   
   Model. Anal. Inform. Sist., 31:4 (2024),  384–425
2. Requirement patterns in deductive verification of poST programs
   
   Model. Anal. Inform. Sist., 31:1 (2024),  6–31