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.

Help and support can be obtained in Local Support Project.

Latest news

MASIW Framework: MASIW Framework 4.1.1 released
Added by Alexey Khoroshilov 3 days ago

MicroTESK: MicroTESK 2.0.1 released
We are happy to announce the first build of the MicroTESK 2.0 test program generator for microprocessors.
Added by Alexander Kamkin 28 days ago

MicroTESK: MicroTESK to be presented at DATE 2014
MicroTESK will be presented at the University Booth exhibition of the DATE 2014 conference on March 24-28 in Dresden, Germany.
Added by Alexander Kamkin 30 days ago

Linux Driver Verification: Version 0.5 of LDV Tools released
Added by Evgeny Novikov about 1 month ago

BLAST: BLAST 2.7.2 has been released
Added by Mikhail Mandrykin about 1 month ago

View all news

Latest projects

  • GPLv3 fork of POK (03/06/2014 10:47 am)

    This project is a fork of POK. All the changes made are provided as open source software under GPLv3 license.

  • Тесты с использованием моделей на базе Summer (12/03/2013 11:05 am)

    Проекты автоматизированного тестирования программных интерфейсов с использованием моделей. В качестве фреймворка для тестов используется библиотека Summer.

  • MicroTESK Training Course (09/23/2013 02:17 pm)

    Курс предназначен для студентов старших курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK....

  • MASIW Framework (09/11/2013 02:50 pm)

    MASIW Framework is an open source Eclipse-based IDE for development and analysis of AADL models.

    The main features of the toolkit includes:
    • textual and graphical editors for AADL model;
    • checking AADL models for compliance with constraints described in REAL theorems....
  • VarTable (11/24/2012 01:27 pm)