The best proof of competence is success. Here we present a few of the projects that we completed to our customer’s satisfaction.

TGV

ProB Validation for Siemens SAS

Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes

Weiterlesen
Rodin Handbook

Production of the Rodin Handbook

For a research project, Formal Mind created a professional handbook.

Read more
What to do if Office-based Requirements Management is Outgrown? ProR Essentials at resolut

What to do if Office-based Requirements Management is Outgrown? ProR Essentials at resolut

For the development of mechatronic systems, Word was replaced by ProR

Read more
openETCS

Work Package Leadership for openETCS on Behalf of Deutsche Bahn

We successfully led an EU research project to develop a software tool chain.

Read more
Effective Use of Open Source for Standardizing ReqIF

Effective Use of Open Source for Standardizing ReqIF

The use of open source for ProSTEP significantly improved the acceptance of the ReqIF standard.

Read more