Formally Checking Large Data Sets in the Railways
Thierry Lecomte, Lilian Burdy, Michael Leuschel
TL;DR
This paper discusses the industrial application of formal methods to validate large railway data sets against specifications written in B/Event-B using the ProB model checker.
Contribution
It demonstrates the practical use of formal verification techniques for large-scale data validation in the railway industry.
Findings
Successful validation of large railway data sets against formal specifications
Integration of B/Event-B specifications with ProB model checker in an industrial setting
Enhanced confidence in data correctness and safety compliance
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Distributed systems and fault tolerance · Data Quality and Management