7 citations · 17 across the 3 of their papers we have counts for
3 papers
Symbolic Reachability Analysis of B through ProB and LTSmin
Jens Bendisposto, Philipp Koerner, Michael Leuschel +4
We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implement…
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…
A Semantics-Aware Editing Environment for Prolog in Eclipse
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel +1
In this paper we present a Prolog plugin for Eclipse based upon BE4, and providing many features such as semantic-aware syntax highlighting, outline view, error marking, content as…