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.3.49 beta released
MicroTESK 2.3.49 beta has been released.
Added by Andrei Tatarnikov 20 days ago

MicroTESK: MicroTESK 2.3.48 beta released
MicroTESK 2.3.48 beta has been released.
Added by Andrei Tatarnikov 27 days ago

MicroTESK: MicroTESK 2.3.47 beta released
MicroTESK 2.3.47 beta has been released.
Added by Andrei Tatarnikov about 1 month ago

Fortress: Fortress v0.4.20 released
Fortress v0.4.20 has been released.
Added by Andrei Tatarnikov about 1 month ago

Klever: GSoC 2016 project was successfully completed
Added by Evgeny Novikov about 1 month ago

View all news

Latest projects

  • Summer (01/26/2016 10:59 am)
  • КМБ-2015 (11/12/2015 03:02 pm)
  • Материалы конференций (10/02/2015 02:10 pm)

    Выкладываются электронные материалы конференций и семинаров, в работе которых мы участвовали

  • Klever (09/03/2015 10:52 pm)
  • Verification Tool Supports (07/02/2015 02:52 pm)

    В данном репозитории собран ряд утилит для изучения исходных кодов модуля ядра Linux и для работы с ними.

    Описание утилит смотрите на wiki.