A benchmark for C program verification
classification
💻 cs.PL
cs.LO
keywords
verificationbenchmarkprogramsystemallowscomparisoncompetitiondemonstration
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.