@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"
}

{"_id":"qrnKnjpKrAWG8484k","bibbaseid":"oortwijn-huisman-formalverificationofanindustrialsafetycriticaltraffictunnelcontrolsystem-2019","authorIDs":[],"author_short":["Oortwijn, W.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Oortwijn"],"firstnames":["Wytse"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Ahrendt"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Tapia","Tarifa"],"firstnames":["Silvia","Lizeth"],"suffixes":[]}],"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","bibtex":"@InProceedings{10.1007/978-3-030-34968-4_23,\nauthor=\"Oortwijn, Wytse\nand Huisman, Marieke\",\neditor=\"Ahrendt, Wolfgang\nand Tapia Tarifa, Silvia Lizeth\",\ntitle=\"Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System\",\nbooktitle=\"Integrated Formal Methods\",\nyear=\"2019\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"418--436\",\nabstract=\"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.\",\nisbn=\"978-3-030-34968-4\",\nurl=\"https://doi.org/10.1007/978-3-030-34968-4_23\"\n}\n\n\n\n","author_short":["Oortwijn, W.","Huisman, M."],"editor_short":["Ahrendt, W.","Tapia Tarifa, S. L."],"key":"10.1007/978-3-030-34968-4_23","id":"10.1007/978-3-030-34968-4_23","bibbaseid":"oortwijn-huisman-formalverificationofanindustrialsafetycriticaltraffictunnelcontrolsystem-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-34968-4_23"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2020-03-11T13:41:07.970Z","downloads":2,"keywords":[],"search_terms":["formal","verification","industrial","safety","critical","traffic","tunnel","control","system","oortwijn","huisman"],"title":"Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System","year":2019,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}