Abstract
The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment.
Original language | English |
---|---|
Title of host publication | Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Part II : Discussion, Dissemination, Applications |
Publisher | Springer |
Publication date | 2016 |
Pages | 261-265 |
ISBN (Print) | 978-3-319-47168-6 |
ISBN (Electronic) | 978-3-319-47169-3 |
DOIs | |
Publication status | Published - 2016 |
Event | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Corfu, Greece Duration: 10 Oct 2016 → 14 Oct 2016 Conference number: 7 |
Conference
Conference | 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
---|---|
Number | 7 |
Country/Territory | Greece |
City | Corfu |
Period | 10/10/2016 → 14/10/2016 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 9953 |
ISSN | 0302-9743 |