On Deductive Verification of an Industrial Concurrent Software Component with VerCors. Monti, R. E., Rubbens, R., & Huisman, M. In Margaria, T. & Steffen, B., editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, pages 517–534, Cham, 2022. Springer International Publishing. bibtex @InProceedings{Monti2022,
author="Monti, Ra{\'u}l E.
and Rubbens, Robert
and Huisman, Marieke",
editor="Margaria, Tiziana
and Steffen, Bernhard",
title="On Deductive Verification of an Industrial Concurrent Software Component with VerCors",
booktitle="Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles",
year="2022",
publisher="Springer International Publishing",
address="Cham",
pages="517--534",
isbn="978-3-031-19849-6"
}
Downloads: 0
{"_id":"kop2wYcZx2MDdaFDv","bibbaseid":"monti-rubbens-huisman-ondeductiveverificationofanindustrialconcurrentsoftwarecomponentwithvercors-2022","author_short":["Monti, R. E.","Rubbens, R.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Monti"],"firstnames":["Raúl","E."],"suffixes":[]},{"propositions":[],"lastnames":["Rubbens"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"On Deductive Verification of an Industrial Concurrent Software Component with VerCors","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles","year":"2022","publisher":"Springer International Publishing","address":"Cham","pages":"517–534","isbn":"978-3-031-19849-6","bibtex":"@InProceedings{Monti2022,\nauthor=\"Monti, Ra{\\'u}l E.\nand Rubbens, Robert\nand Huisman, Marieke\",\neditor=\"Margaria, Tiziana\nand Steffen, Bernhard\",\ntitle=\"On Deductive Verification of an Industrial Concurrent Software Component with VerCors\",\nbooktitle=\"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles\",\nyear=\"2022\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"517--534\",\nisbn=\"978-3-031-19849-6\"\n}\n\n","author_short":["Monti, R. E.","Rubbens, R.","Huisman, M."],"editor_short":["Margaria, T.","Steffen, B."],"key":"Monti2022","id":"Monti2022","bibbaseid":"monti-rubbens-huisman-ondeductiveverificationofanindustrialconcurrentsoftwarecomponentwithvercors-2022","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["deductive","verification","industrial","concurrent","software","component","vercors","monti","rubbens","huisman"],"title":"On Deductive Verification of an Industrial Concurrent Software Component with VerCors","year":2022}