A benchmark for C program verification

Marko van Eekelen, Daniil Frumin,Herman Geuvers,Léon Gondelman,Robbert Krebbers,Marc Schoolderman,Sjaak Smetsers,Freek Verbeek,Benoît Viguier,Freek Wiedijk

CoRR（2019）

引用 0|浏览2

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要