Старолетов Сергей Михайлович Россия, Барнаул Степень кандидат физико-математических наук Область научных интересов верификация программ операционные системы Место работы и должность Алтайский государственный технический университет — доцент Адрес электронной почты serg_soft@mail.ru
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика. — 2017. — № 10. — С. 33-44
Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // Системная информатика. — 2019. — № 15. — С. 13-44
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // Системная информатика. — 2022. — № 21. — С. 1-28
Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // Системная информатика. — 2023. — № 22. — С. 21-30
