Lukas Armborst

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Abductive Inference

Top Venues

Publications

Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
The VerCors Verifier: A Progress Report. CAV (2) (2024)
Lukas Armborst, Sophie Lathouwers, Marieke Huisman
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. iFM (2023)
Lukas Armborst, Marieke Huisman
Permission-Based Verification of Red-Black Trees and Their Merging. FormaliSE@ICSE (2021)