Ivan Mikhailovich Chernenko Russian Federation, Novosibirsk Research area program verification programming languages Affiliation & position Institute of Automation and Electrometry of Siberian Branch of the Russian Academy of Sciences — postgraduate E-mail cheriv98@mail.ru
Chernenko I. Requirements patterns in deductive verification of process-oriented programs and examples of their use // System Informatics. — 2023. — # 22. — P. 11-20
Chernenko I. Pattern-based approach to automation of deductive verification of process-oriented programs // System Informatics. — 2024. — # 25. — P. 11-28
