
Registered user since Fri 7 Jun 2019
Name: Sergey Staroletov
Country: Russia
Affiliation: Polzunov Altai State Technical University
Personal website: https://www.researchgate.net/profile/Sergey_Staroletov/research
Research interests: Model Checking, Cyber-Physical Systems, Formal Verification, Model-based Testing, OS and System Software
Contributions
SPIN 2019 | Applying Model Checking Approach with Floating Point Arithmetic | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2019-profile
View general profile
View general profile