Concise outlines for a complex logic: a proof outline checker for TaDA von Wolf, Felix A., Schwerhoff, Malte, Müller, Peter

Volltext

Viper: A Verification Infrastructure for Permission-Based Reasoning von Müller, Peter, Schwerhoff, Malte, Summers, Alexander J.

Volltext

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA von Wolf, Felix A., Schwerhoff, Malte, Müller, Peter

Volltext

Verification Algorithms for Automated Separation Logic Verifiers von Eilers, Marco, Schwerhoff, Malte, Müller, Peter

Volltext bestellen

Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution von Müller, Peter, Schwerhoff, Malte, Summers, Alexander J.

Volltext

A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version) von Linard Arquint, Schwerhoff, Malte, Mehta, Vaibhav, Müller, Peter

Volltext

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper) von Wolf, Felix A, Schwerhoff, Malte, Müller, Peter

Volltext bestellen

Verification Algorithms for Automated Separation Logic Verifiers (Artifact) von Eilers, Marco, Schwerhoff, Malte, Müller, Peter

Volltext bestellen

Verification Algorithms for Automated Separation Logic Verifiers von Eilers, Marco, Schwerhoff, Malte, Müller, Peter

Volltext

Comparing Verification Condition Generation with Symbolic Execution: An Experience Report von Kassios, Ioannis T., Müller, Peter, Schwerhoff, Malte

Volltext

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper) von Wolf, Felix A, Schwerhoff, Malte, Müller, Peter

Volltext

Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution von Müller, Peter, Schwerhoff, Malte, Summers, Alexander J

Volltext bestellen

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA von Müller, Peter, Wolf, Felix A., Schwerhoff, Malte

Volltext bestellen

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact) von Schwerhoff, Malte, Summers, Alexander J.

Volltext

Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution von Müller, Peter, Schwerhoff, Malte, Summers, Alexander J

Volltext

Lightweight support for magic wands in an automatic verifier von Schwerhoff, Malte, Summers, Alexander J.

Volltext bestellen

Constraint Semantics for Abstract Read Permissions von Boyland, John T., Müller, Peter, Schwerhoff, Malte, Summers, Alexander J.

Volltext bestellen

Viper: A Verification Infrastructure for Permission-Based Reasoning von Juhasz, Uri, Kassios, Ioannis T., Müller, Peter, Nováček, Miloš, Schwerhoff, Malte, Summers, Alexander J.

Volltext bestellen