ProB
- Other
Contact:
Heinrich-Heine-Universität DüsseldorfMichael Leuschel
Universitätsstrasse 1
40225 Düsseldorf
Germany
Mail: michael.leuschel@uni-duesseldorf.de
Details:
The ProB validation tool is developed by the STUPS group at the Heinrich Heine University Düsseldorf.
ProB is an animator, constraint solver and model checker that targets high-level formal specification languages (like B and TLA+).
ProB has been certified as a tool of class T2 for various data validation applications.
In that context it is being used by several firms worldwide, such as Alstom, CLEARSY, Thales and Siemens.
The B language is rooted in predicate logic, arithmetic and set theory and provides support for data structures such as (higher-order) relations, functions and sequences.
We are currently adding features to read in, validate and animate railML configuration data using the formal B method.
License:
academicIn use by the following partners:
- Alstom Rail Sweden
- Clearsy
- Hitachi Rail STS Germany (Thales)
- Siemens Mobility Germany (Rail Infrastructure)
This data is provided by the railML partner and under their responsibility.