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 (2002–2003, 16 man-years);
• Jaclin — bridge for testing C++ APIs by specifications, written in Java specification extension (2002–2003, 4 man-years);
• Development of technology for language models based testing of compiler optimization blocks (2001–2003, 5 man-years);
• Testing of implementation of Mobile IPv6 protocol (2002–2003, 2 man-years);
• CTesK — toolkit for testing C APIs — (2000–2002, 5 man-years);
• J@T — toolkit for testing Java APIs (2000–2002, 18 man-years);
• Testing of Object Broker (2000, 1 man-year);
• Testing of ATM Framework components (1999–2000, 6 man-years);
• Redesign and testing of application support system (1998–1999, 2 man-years);
• Testing of operating system kernel (1994–1997, 25 man-years).