2000 character limit reached
Formally Checking Large Data Sets in the Railways (1210.6815v2)
Published 25 Oct 2012 in cs.SE
Abstract: 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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.