Inspirel banner



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.

Formal Assistant

Formal Assistant is a modular and flexible deduction and proof system, built on top of functionality offered by Wolfram, that can support various activities related to formal methods, modeling and software verification.

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.


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++.