Sergey Michailovich Staroletov Russian Federation, Barnaul Academic degree Candidate of Physics and Mathematics Research area program verification operating systems Affiliation & position Altai State Technical University — associate professor E-mail serg_soft@mail.ru
Staroletov S. Design and implementation a software for water purification with using automata approach and specification based analysis // System Informatics. — 2017. — # 10. — P. 33-44
Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // System Informatics. — 2019. — # 15. — P. 13-44
Staroletov S. Teaching the Discipline "Software Testing and Verification" to Future Programmers // System Informatics. — 2022. — # 21. — P. 1-28
Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — 2023. — # 22. — P. 21-30
