ProB Validation for Siemens SAS
Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes.
What to do if Office-based Requirements Management is Outgrown? ProR Essentials at resolut
By using open source, the neutrality of the results was ensured. With this, Formal Mind contributed significantly to the spread and acceptance of the ReqIF standard.
Work Package Leadership for openETCS on Behalf of Deutsche Bahn
Formal Mind, with knowledge and experience of Eclipse-based projects, as well as excellent management and leadership by Michael Jastram, have brought the “openETCS software tools development” outstanding success.
Production of the Rodin Handbook
Michael Jastram and the team at Düsseldorf have done an excelent job in putting together, extending and improving various sources of documentation on the Rodin tool.
Effective Use of Open Source for Standardizing ReqIF
By using open source, the neutrality of the results was ensured.