( en | de | ru )

 

Disambiguation of "Schwerhoff, Malte"

Author of the publication

copydeleteadd this publication to your clipboard
Viper: A Verification Infrastructure for Permission-Based Reasoning.

, , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Schwerhoff

Mona Schwerhoff

Gerd Schwerhoff

Gregor Schwerhoff

Godehard Schwerhoff

 

Other publications of authors with the same name

Concise outlines for a complex logic: a proof outline checker for TaDA., , and . Formal Methods Syst. Des., 61 (1): 110-136 (August 2022)A Generic Methodology for the Modular Verification of Security Protocol Implementations., , , and . CCS, page 1377-1391. ACM, (2023)Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)., , and . CoRR, (2020)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 41-62. Springer, (2016)Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 405-425. Springer, (2016)Comparing Verification Condition Generation with Symbolic Execution: An Experience Report., , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 196-208. Springer, (2012)Lightweight Support for Magic Wands in an Automatic Verifier., and . ECOOP, volume 37 of LIPIcs, page 614-638. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Generic Methodology for the Modular Verification of Security Protocol Implementations., , , and . CoRR, (2022)Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA., , and . FM, volume 13047 of Lecture Notes in Computer Science, page 407-426. Springer, (2021)