Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian +3
As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation…
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…