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.

    • Portrait of Jeff Running

      Jeff Running

Watch Next