Login / Signup
Dionysios Spiliopoulos
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Formal Verification
Flow Control
Theorem Prover
Top Venues
CoRR
</>
Publications
</>
João C. Pereira
,
Tobias Klenze
,
Sofia Giampietro
,
Markus Limbeck
,
Dionysios Spiliopoulos
,
Felix A. Wolf
,
Marco Eilers
,
Christoph Sprenger
,
David A. Basin
,
Peter Müller
,
Adrian Perrig
Protocols to Code: Formal Verification of a Next-Generation Internet Router.
CoRR
(2024)