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.1 released
Added by Alexey Khoroshilov about 2 months ago

QEMU4V: QEMU4V 0.3.6 released
QEMU4V 0.3.6 has been released.
Added by Sergey Smolov 3 months ago

MicroTESK: MicroTESK 2.5.1 released
MicroTESK 2.5.1 has been released.
Added by Alexander Kamkin 6 months ago

Castle: Castle 0.1.4 released
Castle 0.1.4 has been released.
Added by Alexander Kamkin 6 months ago

Retrascope: Retrascope 1.1.* re-uploaded
Retrascope 1.1.* packages have been re-uploaded.
Added by Sergey Smolov 7 months ago

View all news