@inproceedings{4b942a410bb146b0b36cd45d53b096e3,
title = "Runtime assertion checking and static verification: Collaborative partners",
abstract = "Runtime assertion checking aspires to a similar level of sound and complete checking of software as does static deductive verification. Furthermore, for the same source language and specification language, runtime and static checking should implement as closely as possible the same semantics. We describe here the architecture used by two different systems to achieve this goal. We accompany that with descriptions of novel designs and implementations that add new capabilities to runtime assertion checking, bringing it closer to the feature coverage of static verification.",
author = "Fonenantsoa Maurica and Cok, \{David R.\} and Julien Signoles",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-030-03421-4\_6",
language = "English",
isbn = "9783030034207",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "75--91",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings",
}