2 papers
cs.PL2023
Verifying C++ Dynamic Binding
Niels Mommen, Bart Jacobs
We propose an approach for modular verification of programs written in an object-oriented language where, like in C++, the same virtual method call is bound to different methods at…
cs.LO2022
Verification of C++ Programs with VeriFast
Niels Mommen, Bart Jacobs
VeriFast is a prototype tool based on separation logic for modular verification of C and Java programs. We are in the process of adding support for C++. In this report, we describe…