30 citations · 57 across the 15 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 4 cited
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB
John Witulski, Michael Leuschel
We present the implementation of pyB, a predicate - and expression - checker for the B language. The tool is to be used for a secondary tool chain for data validation and data gene…
cs.SE2014★ 7 cited
Who watches the watchers: Validating the ProB Validation Tool
Jens Bendisposto, Sebastian Krings, Michael Leuschel
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 exhaustiv…