Who watches the watchers: Validating the ProB Validation Tool
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...
Main Authors: | Jens Bendisposto, Sebastian Krings, Michael Leuschel |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-04-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1404.6603v1 |
Similar Items
-
ProB: an automated analysis toolset for the B method
by: Leuschel, Michael, et al.
Published: (2008) -
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB
by: John Witulski, et al.
Published: (2014-04-01) -
Watching the Watchers : - A Comparative Study
by: Lehnbom, Carin
Published: (2007) -
The watcher of the prisoner
by: A امیری خراسانی, et al.
Published: (2009-06-01) -
Sky Watchers, Earth Watchers, and Guardians of the Former and Future Garden
by: Jim Rock
Published: (2020-12-01)