2 citations · 3 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin +1
Implementation bugs threaten the soundness of algorithmic software verifiers. Generating correctness certificates for correct programs allows for efficient independent validation o…
cs.PL2025★ 2 cited
Correctness Witnesses with Function Contracts
Matthias Heizmann, Dominik Klumpp, Marian Lingsch-Rosenfeld +1
Software verification witnesses are a common exchange format for software verification tools. They were developed to provide arguments supporting the verification result, allowing…