The Practice of Standards Formalization
- Victor Kuliamin | Institute for System Programming, Russian Academy of Sciences.
The talk presents work of the Institute for System Programming on applications of formal methods into practical software engineering.
It considres applications of model based testing to Linux Standard Base, Linux driver verification, test development for mathematical libraries, some works in compiler testing.
Speaker Details
Victor Kuliamin is a Senior Researcher in the Institute for System Programming, Russian Academy of Sciences. He graduated Faculty of Mathematics and Mechanics of Moscow State University in 1995. In 2000 Victor got PhD in Mathematics from Moscow State University. His current interests include formal methods in software engineering, model based testing, integration of verification techniques.
-
-
Jeff Running
-
Watch Next
-
-
Accelerating MRI image reconstruction with Tyger
- Karen Easterbrook,
- Ilyana Rosenberg
-
-
-
-
-
-
-
-
