Publikationer av Didrik Lundberg
Refereegranskade
Artiklar
[1]
A. Alshnakat et al., "HOL4P4: Mechanized Small-Step Semantics for P4," Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1, 2024.
Konferensbidrag
[2]
A. Alshnakat et al., "HOL4P4 : Semantics for a Verified Data Plane," i EuroP4 2022 : Proceedings of the 5th International Workshop on P4 in Europe, Part of CoNEXT 2022, 2022, s. 39-45.
[3]
D. Lundberg et al., "Hoare-Style Logic for Unstructured Programs," i Software Engineering and Formal Methods, 2020, s. 193-213.
Senaste synkning med DiVA:
2024-07-17 13:32:50