Formal Mind is an academic spin-off that commercializes research in the area of systems engineering. We base our services on OpenSource software.
We apply our knowledge in systems engineering.
Our technology is applied in the transportation and automotive industries.
Formal Mind is a spin-off from the University of Düsseldorf, bringing innovative research to market.
We use open-source tools that were developed based on our research.
© 2011 Formal Mind GmbH, All Rights Reserved