Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. Oortwijn, W. & Huisman, M. In Ahrendt, W. & Tapia Tarifa, S. L., editors, Integrated Formal Methods, pages 418–436, Cham, 2019. Springer International Publishing.
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System [link]Paper  abstract   bibtex   
Over the last decades, significant progress has been made on formal techniques for software verification. However, despite this progress, these techniques are not yet structurally applied in industry. To reduce the well-known industry–academia gap, industrial case studies are much-needed, to demonstrate that formal methods are now mature enough to help increase the reliability of industrial software. Moreover, case studies also help researchers to get better insight into industrial needs.
@InProceedings{10.1007/978-3-030-34968-4_23,
author="Oortwijn, Wytse
and Huisman, Marieke",
editor="Ahrendt, Wolfgang
and Tapia Tarifa, Silvia Lizeth",
title="Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System",
booktitle="Integrated Formal Methods",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="418--436",
abstract="Over the last decades, significant progress has been made on formal techniques for software verification. However, despite this progress, these techniques are not yet structurally applied in industry. To reduce the well-known industry--academia gap, industrial case studies are much-needed, to demonstrate that formal methods are now mature enough to help increase the reliability of industrial software. Moreover, case studies also help researchers to get better insight into industrial needs.",
isbn="978-3-030-34968-4",
url="https://doi.org/10.1007/978-3-030-34968-4_23"
}

Downloads: 0