Kategorie: Success Story

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.

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.

By using open source, the neutrality of the results was ensured.

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

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.