30 citations · 57 across the 15 of their papers we have counts for
1 paper · 2 filters
Thierry Lecomte, Lilian Burdy, Michael Leuschel
This article presents industrial experience of validating large data sets against specification written using the B / Event-B mathematical language and the ProB model checker.