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