The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/16545714

Lathouwers, Sophie; Huisman, Marieke (2022): Database of Annotations for Deductive Verifiers. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/16545714.v1

Dataset

• Computer Software and Services
• Other Information and Computing Sciences

Annotations, Deductive verification, Specification languages, Specifications, Taxonomy

CC BY 4.0

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

by Sophie Lathouwers , Marieke Huisman

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.

The annotations were extracted from examples and case studies for the tools KeY, Krakatoa, OpenJML, VerCors and Verifast. We have included the 10 examples per tool (case studies are not included) from which these annotations have been extracted in sample-sources.zip. These are not licensed under the CC BY 4.0 but under their original licenses. These licenses have been included.

The README.md explains what the different files are.

• 2022-03-22 first online, published, posted

4TU.ResearchData

Text files, Python script, Excel sheet (.xlsx), CSV files, ZIP file (consisting of text and Java files) and a Virtual Machine (.ova)

• Mercedes: Maximal Reliability of Concurrent and Distributed Software (grant code 639.023.710) [more info...] Dutch Research Council

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools