6 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
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…