What good are strong specifications?

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).