Runtime Assertion Checking and Static Verification: Collaborative Partners

• Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Vol. 11245; pp. 75 - 91
• Main Authors: Maurica, Fonenantsoa, Cok, David R., Signoles, Julien
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2018; Springer International Publishing
• Series: Lecture Notes in Computer Science

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 des...