Abstrakt. Denna artikel presenterar industriell erfarenhet av att validera stora datamängder mot specifikation skriven med hjälp av B / Event-B matematiska språket och ProB-modellen checker.
Händelse-B Ref.
Formally Checking Large Data Sets in the Railways
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}