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.

Help and support can be obtained in Local Support Project.

Latest news

MicroTESK for RISC-V: MicroTESK for RISC-V 0.1.1 released
MicroTESK for RISC-V 0.1.1 has been released.
Added by Alexander Protsenko about 1 year ago

MicroTESK: MicroTESK 2.6.4 released
MicroTESK 2.6.4 has been released.
Added by Alexander Protsenko about 1 year ago

Java SoftFloat: JSoftFloat 1.1.0 released
JSoftFloat 1.1.0 has been released.
Added by Alexander Protsenko about 1 year ago

MicroTESK: MicroTESK 2.6.3 released
MicroTESK 2.6.3 has been released.
Added by Alexander Protsenko about 1 year ago

Klever: Klever 4.0
Added by Anton Vasilyev over 1 year ago

View all news