Inspirel

Inspirel was created to promote good practice in software engineering.

The main fields of our expertise are construction of safety-critical systems and development of core infrastructure (distributed systems, databases). The company offers consulting, products and services related to software infrastructure in those demanding projects where high integrity and reliability are of major concern.

The main products of Inspirel are YAMI4, which is a messaging solution for distributed systems and Formal Methods Toolkit, which is a set of packages for engineers working on safety-critical systems.