https://5dok.net/document/dy48o7kq-evaluating-software-verification-systems-benchmarks-competitions-dagstuhl-reports.html