cff-version: 1.2.0
abstract: "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 <b>a large set of annotations</b> 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.<br><br>The annotations were extracted from examples and case studies for the tools <b>KeY, Krakatoa, OpenJML, VerCors</b> and <b>Verifast</b>. We have included the 10 examples per tool (case studies are not included) from which these annotations have been extracted in <i>sample-sources.zip</i>. These are <b>not</b> licensed under the CC BY 4.0 but under their original licenses. These licenses have been included.<br><br>The README.md explains what the different files are.<br>"
authors:
  - family-names: Lathouwers
    given-names: Sophie
    orcid: "https://orcid.org/0000-0002-7544-447X"
  - family-names: Huisman
    given-names: Marieke
    orcid: "https://orcid.org/0000-0003-4467-072X"
title: "Database of Annotations for Deductive Verifiers"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/16545714.v1
license: CC BY 4.0
date-released: 2022-03-22