4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2019
A benchmark for C program verification
Marko van Eekelen, Daniil Frumin, Herman Geuvers +7
We present twenty-five C programs, as a benchmark for C program verification using formal methods. This benchmark can be used for system demonstration, for comparison of verificati…
cs.LO2012★ 4 cited
The lambda-mu-T-calculus
Herman Geuvers, Robbert Krebbers, James McKinna
Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one s…