ProB

Software producer:
HHU Düsseldorf
Webpage:
https://prob.hhu.de
Programme type:
  • Other
railML® compatibility:
infrastructure
3.1
Import only
not certified
infrastructure
3.2
Import only
not certified
interlocking
3.1
Import only
not certified
interlocking
3.2
Import only
not certified

Contact:

Heinrich-Heine-Universität Düsseldorf
Michael Leuschel
Universitätsstrasse 1
40225 Düsseldorf
Germany

Mail:

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:

academic

In use by the following partners:

This data is provided by the railML partner and under their responsibility.