General

Profile

Home

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
others.

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: MicroTESK 2.4.38 released
MicroTESK 2.4.38 has been released.
Added by Andrei Tatarnikov 13 days ago

Fortress: Fortress v0.4.29 released
Fortress v0.4.29 has been released.
Added by Andrei Tatarnikov 16 days ago

Fortress: Fortress v0.4.28 released
Fortress v0.4.28 has been released.
Added by Andrei Tatarnikov 27 days ago

QEMU for RISC-V: QEMU for RISC-V 0.2.1 released
QEMU for RISC-V 0.2.1 has been released.
Added by Sergey Smolov 2 months ago

MicroTESK for RISC-V: MicroTESK for RISC-V 0.0.2 released
MicroTESK for RISC-V 0.0.2 has been released.
Added by Andrei Tatarnikov 2 months ago

View all news