1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Certifying C program correctness with respect to CH2O with VeriFast
Stefan Wils, Bart Jacobs
VeriFast is a powerful tool for verification of various correctness properties of C programs using symbolic execution. However, VeriFast itself has not been verified. We present a…
cs.LO2021
Certifying C program correctness with respect to CompCert with VeriFast
Stefan Wils, Bart Jacobs
VeriFast is a powerful tool for verification of various correctness properties of C programs using symbolic execution. However, VeriFast itself has not been verified. We present a…