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

MicroTESK for RISC-V: MicroTESK for RISC-V 0.0.7 released
MicroTESK for RISC-V 0.0.7 has been released.
Added by Alexander Protsenko 14 days ago

MicroTESK: MicroTESK 2.4.44 released
MicroTESK 2.4.44 has been released.
Added by Alexander Kamkin 28 days ago

QEMU4V: QEMU4V 0.2.4 released
QEMU4V 0.2.4 has been released.
Added by Sergey Smolov about 1 month ago

Klever: Klever 2.0
Added by Evgeny Novikov about 1 month ago

Requality: Requality 1.0 released
After more than 10 years of development we are happy to announce the release of Requality 1.0. The new version emphasizes the readiness of the tool to support requirements management process of safety-critical software development.
Added by Alexey Khoroshilov 3 months ago

View all news