Didrik Lundberg

Doktorand inom systemsäkerhet och formella metoder.

Publikationer i urval:

Hoare-Style Logic for Unstructured Programs

HOL4P4: Mechanized Small-Step Semantics for P4

Proof-Producing Symbolic Execution for P4