What good are strong specifications?

Barplot of the total number of faults found in EB and EB+

Graph of the median number of faults found in EB and EB+

Supplementary material

See this repository to browse or download the source code created for the study, including specifications and test cases that exhibit the bugs we found.

See this technical report for the extended version of the paper.

See this website for the extended version of the report from the 1st verified software competition, referenced in the paper (the original website is experiencing technical difficulties).