Formal Mind helps in the development of safety-critical systems. Our products are based on current research, tailored for industrial use.

Company

Formal Mind is an academic spin-off that commercializes research in the area of systems engineering.  We base our services on open source software.

more

System Engineering

We apply our knowledge in systems engineering.

more

Tools

We use open source tools that were developed based on our research.

more

Industries

Our technology is applied in the transportation and automotive industries.

more

Services

Formal Mind offers consulting and coaching in systems engineering, tool tailoring and other professional services.

more

Newsletter

Subscribe to our monthly Newsletter (see what to expect)