Lukas Armborst
PhD student on software verification
Datasets
- 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"