Malte Schwerhoff

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

A Generic Methodology for the Modular Verification of Security Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Concise outlines for a complex logic: a proof outline checker for TaDA.

[BibT_eX]

[DOI]

Felix A. Wolf

Formal Methods Syst. Des., August, 2022

2020

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).

[BibT_eX]

[DOI]

Felix A. Wolf

CoRR, 2020

2017

Viper: A Verification Infrastructure for Permission-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

2016

Advancing Automated, Permission-Based Program Verification Using Symbolic Execution.

[BibT_eX]

[DOI]

PhD thesis, 2016

Viper: A Verification Infrastructure for Permission-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2015

Lightweight Support for Magic Wands in an Automatic Verifier.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Constraint Semantics for Abstract Read Permissions.

[BibT_eX]

[DOI]

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

2012

Comparing Verification Condition Generation with Symbolic Execution: An Experience Report.

[BibT_eX]

[DOI]

Ioannis T. Kassios