The Practice of Standards Formalization
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.
- Date:
- Speakers:
- Victor Kuliamin
- Affiliation:
- Institute for System Programming, Russian Academy of Sciences.
-
-
Jeff Running
-