A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
On the Industrial Uptake of Formal Methods in the Railway Domain
[chapter]
2018
Lecture Notes in Computer Science
The railway sector has seen a large number of successful applications of formal methods and tools. However, up-to-date, structured information about the industrial usage and needs related to formal tools in railways is limited. As a first step to address this, we present the results of a questionnaire submitted to 44 stakeholders with experience in the application of formal tools in railways. The questionnaire was oriented to gather information about industrial projects, and about the
doi:10.1007/978-3-319-98938-9_2
fatcat:o6rcqn3t3fdvhaxaasyaqemel4