Usually, case studies dealing with train systems concentrate on the safety of trains circulating on tracks equipped with points and crossings and protected by means of traffic lights and speed limit sign postings as in [1–3]. Train drivers are supposed to follow such indications. The goal of formal approaches used in such case studies is to prove that trains may circulate safely on such tracks provided drivers act correctly. This is done by constructing models of such complex systems and by using formal proof techniques.
CITATION STYLE
Abrial, J. R. (2018). The ABZ-2018 case study with event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10817 LNCS, pp. 322–337). Springer Verlag. https://doi.org/10.1007/978-3-319-91271-4_22
Mendeley helps you to discover research relevant for your work.