usage stats
Totals for datasets (co-)authored by Lukas Armborst
2963
downloads
2248
views
Lukas Armborst
PhD student on software verification
Datasets
- Artifact to supplement the paper: The VerCors Verifier: a Progress Report
- Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
- Permission-based Verification of Red-Black Trees and Their Merging - Code
- 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"
