The best proof of competence is success. Here we present a few of the projects that we completed to our customer’s satisfaction.
ProB Validation for Siemens SAS
Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes
WeiterlesenProduction of the Rodin Handbook
For a research project, Formal Mind created a professional handbook.
Read moreWhat 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 moreWork Package Leadership for openETCS on Behalf of Deutsche Bahn
We successfully led an EU research project to develop a software tool chain.
Read moreEffective Use of Open Source for Standardizing ReqIF
The use of open source for ProSTEP significantly improved the acceptance of the ReqIF standard.
Read more