About Us


Presented tools and technologies were developed at the Software Engineering Department of the Institute for System Programming of the Russian Academy of Sciences (ISPRAS). The institute performs both academic research and industrial development projects as well as provides advanced services and consulting in various areas of software engineering, information technologies and computer science.

One of the main directions of the Software Engineering department is advanced verification and testing of software and hardware systems. Since 1994, experts of the department have been participating in projects on automated test development for complex industrial software and hardware under cooperation with such companies as Nortel Networks, Microsoft, Intel, VIA Technologies, Linux Foundation, NIISI RAS, Luxoft, VimpelCom, etc. Based on the experience gained from these and other projects, experts of the department created a number of innovative methods and corresponding technologies and tools for automated development of various types of tests, which are united under UniTESK technology stack. These methods, technologies and tools have proved their efficiency for formal specification and testing of operating systems, compilers, implementations of telecommunication protocols, HDL hardware models, and other types of systems. While we always take opportunities to further improve and enrich them using feedback from new on-going projects.

More information about our technologies and tools can be found at www.unitesk.com.