Sergey Staroletov

Registered user since Fri 7 Jun 2019

Name:Sergey Staroletov
Affiliation:Polzunov Altai State Technical University
Research interests:Model Checking, Cyber-Physical Systems, Formal Verification, Model-based Testing, OS and System Software


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