Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Verification and Specification through Progress Abstractions

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Lemma9: Verification of Cryptographic Protocols with Unbounded Sessions (odnośnik otworzy się w nowym oknie)

Autorzy: Emanuele D'Osualdo, Felix Stutz
Opublikowane w: 2020
Wydawca: Zenodo
DOI: 10.5281/zenodo.3950846

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

Autorzy: Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
Opublikowane w: CoRR, 2019
Wydawca: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Autorzy: Emanuele D'Osualdo, Felix Stutz
Opublikowane w: CoRR, 2020
Wydawca: arXiv

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions (odnośnik otworzy się w nowym oknie)

Autorzy: Emanuele D'Osualdo, Felix Stutz
Opublikowane w: 31st International Conference on Concurrency Theory (CONCUR 2020), 2020, Strona(/y) 31:1-31:23, ISBN 978-3-95977-160-3
Wydawca: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2020.31

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0