( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Verification of Concurrent C Programs with Search Structure Templates.

, , , и . CPP, стр. 60-74. ACM, (2024)

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.

Lennart Beringer

Kornelia Beringer

Burkhard Beringer

Jan Beringer

Martin Beringer

 

Другие публикации лиц с тем же именем

Foundational Verification of Stateful P4 Packet Processing., , , , , и . ITP, том 268 из LIPIcs, стр. 32:1-32:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Compositional Verification of Concurrent C Programs with Search Structure Templates., , , и . CPP, стр. 60-74. ACM, (2024)Verified Software Units.. ESOP, том 12648 из Lecture Notes in Computer Science, стр. 118-147. Springer, (2021)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , и . CoRR, (2018)Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq., , , , и . NFM, том 14627 из Lecture Notes in Computer Science, стр. 99-117. Springer, (2024)Abstraction and Subsumption in Modular Verification of C Programs., и . FM, том 11800 из Lecture Notes in Computer Science, стр. 573-590. Springer, (2019)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , и . CPP, стр. 234-248. ACM, (2019)Verified Software Units for Simple DFA Modules and Objects in C.. ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 237-258. Springer, (2022)Verifying an HTTP Key-Value Server with Interaction Trees and VST., , , , , , , , , и . ITP, том 193 из LIPIcs, стр. 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Compositional CompCert., , , и . POPL, стр. 275-287. ACM, (2015)