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 newsView all news
- 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