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.

Help and support can be obtained in Local Support Project.

Latest news

MicroTESK: MicroTESK to be presented at SYRCoSE 2013
MicroTESK will be presented at the SYRCoSE 2013 colloquium on May 30 in Kazan, Russia.
Added by Alexander Kamkin 10 days ago

Java Constraint Solver API: Java Constraint Solver API v0.1.1 released
First release of Java library providing an interface to SMT-LIB-based constraint solvers
Added by Сергей Смолов about 1 month ago

MicroTESK: MicroTESK to be presented at DATE 2013
MicroTESK will be presented at the University Booth exhibition of the DATE 2013 conference on March 18-21 in Grenoble, France.
Added by Alexander Kamkin 3 months ago

Local Support Project: Redmine 2.1.6
Закрыли критическую уязвимость rails
Added by Alexey Demakov 4 months ago

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.21 released.
C++TESK Testing ToolKit v1.0.21 has been released. The following things have been done.
Added by Alexander Kamkin 5 months ago

View all news

Latest projects

  • VarTable (11/24/2012 01:27 pm)
  • ACalc (11/07/2012 02:55 pm)
  • Java Constraint Solver API (09/12/2012 10:38 am)

    Java Constraint Solver API is a Java library providing an interface to SMT-LIB-based constraint solvers (like Yices and Z3). The library allows creating constraints (in the form of abstract syntax trees), mapping them to the SMT-LIB descriptions, launching a solver and transferring results back to Java. It also implements functionality for storing constraints in external memory (as XML files). For more information, read Wiki....

  • Курс молодого бойца (09/11/2012 02:09 pm)

    Разработка материалов для курса, условно названного "Курс молодого бойца". Занимаются студенты 3 курса ВМК и 4 курса МФТИ

  • Race Hound (09/05/2012 08:21 pm)

    Data Race Detector for Linux Kernel