This dataset was set up as part of our research titled "Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers". It contains a large set of annotations that were classified according to our taxonomy. We also include the information we used to calculate the confidence intervals that are reported in the paper in Section 4.
Lathouwers, S. A. M. (Creator), Huisman, M. (Supervisor), University Of Twente, F. O. E. E. (Contributor) (22 Mar 2022). Database of Annotations for Deductive Verifiers. 4TU.Centre for Research Data. https://doi.org/10.4121/16545714.v1