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