2019/04/01 by M.C.J.D. van Eekelen, Daniil Frumin, van Eekelen, Marko +17
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Testing and Debugging Techniques
paper · pdf · doi:10.48550/arxiv.1904.01009
openalex publication_date 2019/04/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 verification effort between systems, and as a friendly competition. For this last purpose, we give a scoring formula that allows a verification system to score up to a hundred points.