Totals for datasets (co-)authored by Sophie Lathouwers
- Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
- Database of Annotations for Deductive Verifiers
- Evaluation of Specification Inference Tools for Deductive Verification
- Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
- ProVerB: Dataset of Tools and Formats for Program Verification
- Specification Translator: Tool to Translate Specifications for Deductive Verifiers
- Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"