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

Our first component for formalmind Studio

Axiom - The affordable solution for requirements exchange with ReqIF

 

Deutsch

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

Newsletter

Subscribe to our monthly Newsletter (see what to expect)