Output details
11 - Computer Science and Informatics
Swansea University
Output title
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B
Type
E - Conference contribution
Name of conference/published proceedings
Hardware and Software: Verification and Testing. 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers.
Volume number
7857
Issue number
-
First page of article
193
ISSN of proceedings
-
Year of publication
2013
URL
-
Number of additional authors
4
Additional information
<07> This paper provides the first formal proof that it is enough to study only a small, finite number of trains when proving the design of a rail node to be safe. The provided abstractions are a first important step to make model checking of such rail designs feasible. Due to this work, the author is leading the first compilation of a Body Of Knowledge in Formal Methods in Rail, to be developed from a Workshop titled FM-RAIL-BOK which is affiliated with SEFM 2013 (11th International Conference on Software Engineering and Formal Methods, Madrid).
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
