A benchmark for C program verification

04/01/2019
by   Marko van Eekelen, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset