%0 Journal Article
%T Formally Checking Large Data Sets in the Railways
%A Thierry Lecomte
%A Lilian Burdy
%A Michael Leuschel
%J Computer Science
%D 2012
%I arXiv
%X 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.
%U http://arxiv.org/abs/1210.6815v2