Сергей Старолетов

Сергей Старолетов


Исследовательские группы

Публикации

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

2019

Staroletov S., Fedorov V

10th workshop “Program semantics, specification and verification: Theory and applications”

A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model

2019

Staroletov S., Dubko A

System Informatics. P. 13-44

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model

2019

SPIN 2019 26th International Symposium on Model Checking of Software

Подробнее

Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems

2019

Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

Basics of Software Testing and Verification [in Russian]

2018

Основы тестирования и верификации программного обеспечения

Lanbook publishing

Подробнее

A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

2018

Modeling and Analysis of Information Systems

Подробнее