Projects

Most interesting projects, accomplished by our group:

  • Open Linux VERification (OLVER) (present time); 
  • Cross-Tool Development and Verification of Hardware Designs (specification driven approach) (present time);
  • Toolkit for testing C# and .NET APIs (20022003, 16 man-years);
  • Jaclin  bridge for testing C++ APIs by specifications, written in Java specification extension (20022003, 4 man-years);
  • Development of technology for language models based testing of compiler optimization blocks (20012003, 5 man-years);
  • Testing of implementation of Mobile IPv6 protocol (20022003, 2 man-years);
  • CTesK  toolkit for testing C APIs  (20002002, 5 man-years);
  • J@T  toolkit for testing Java APIs (20002002, 18 man-years);
  • Testing of Object Broker (2000, 1 man-year);
  • Testing of ATM Framework components (19992000, 6 man-years);
  • Redesign and testing of application support system (19981999, 2 man-years);
  • Testing of operating system kernel (19941997, 25 man-years).
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences