ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Sergey Staroletov

Registered user since Fri 7 Jun 2019

Name: Sergey Staroletov

Country: Russia

Affiliation: Polzunov Altai State Technical University

Personal website:

Research interests: Model Checking, Cyber-Physical Systems, Formal Verification, Model-based Testing, OS and System Software


SPIN 2019Author of Applying Model Checking Approach with Floating Point Arithmetic within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

ISSTA 2019-profile
View general profile