Welcome to the ISP RAS open-source projects!
At the moment this system presents selected projects being developed by the
Software Engineering department.

We focus on advanced R&D in the area of software and hardware testing and
verification methods, tools and technologies. We work both on fundamental
R&D funded by the Russian Academy of Sciences and on industrial R&D projects
funded by our partners such as Linux Foundation, Intel, Microsoft, Nokia and

Follow Site Information And Rules please.

IMPORTANT: Permanently authenticating with Git repositories

IMPORTANT: How to create repository.

IMPORTANT: Additional services.

Help and support can be obtained in Local Support Project.

Latest news

Requality: Requality 1.3 released
Version 1.3 of Requality has been released with scalability and usability improvements.
Added by Alexey Khoroshilov 3 months ago

Klever: Klever 3.1
Added by Evgeny Novikov 4 months ago

Local Support Project: Redmine 4.1.2
Added by Alexey Demakov 4 months ago

Klever: Klever 3.0
Added by Evgeny Novikov 6 months ago

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.26 released
C++TESK Testing ToolKit v1.0.26 has been released. The following things have been done.
Added by Mikhail Chupilko 8 months ago

View all news