Who watches the watchers: Validating the ProB Validation Tool

Jens Bendisposto
(Heinrich Heine University, Düsseldorf, Germany)
Sebastian Krings
(Heinrich Heine University, Düsseldorf, Germany)
Michael Leuschel
(Heinrich Heine University, Düsseldorf, Germany)

Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more stringent requirements on the integrity of ProB. In this paper we present a summary of our validation efforts for ProB, in particular within the context of the norm EN 50128 and safety critical applications in the railway domain.

In Catherine Dubois, Dimitra Giannakopoulou and Dominique Méry: Proceedings 1st Workshop on Formal Integrated Development Environment (F-IDE 2014), Grenoble, France, April 6, 2014, Electronic Proceedings in Theoretical Computer Science 149, pp. 16–29.
Published: 26th April 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.149.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org