Inspirel banner


Formal Methods Toolkit

FMT is an extension package for Mathematica that allows to perform software-engineering activities in the domain of safety-critical systems: modeling, verification and code generation for several target programming languages.


YAMI4 is a messaging solution for distributed systems.

This set of libraries for several programming languages was created specifically to address the needs of demanding users working with mission-critical distributed systems.

YAMI4 is a continuation of the YAMI project that was successfully used in control and monitoring systems for nuclear physics and astronomy as well as in traffic monitoring and health-care systems.


SOCI is a database access library for C++.

Several developers participate in the SOCI project which itself is hosted at GitHub. The SOCI library is often listed among the best modern libraries for C++.