104 citations · 478 across the 35 of their papers we have counts for
Showing 2021 · cs.LOShow all
2 papers · 2 filters
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…
cs.LO2021
From Multisets over Distributions to Distributions over Multisets
Bart Jacobs
A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability. At a technical level, the problem arises from the fact that ther…