Usage statistics

Totals for datasets (co-)authored by Lukas Armborst

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"

Co-authors

Co-authors of Lukas Armborst's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Lars van den Haak
• Marieke Huisman
• Philip Tasche
• Pieter Bos
• Robert Rubbens
• Sophie Lathouwers
• Ömer Şakar