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.
    • Portrait of Jeff Running

      Jeff Running