Skip to main content

Publications by Anoud Alshnakat

Refereegranskade

Konferensbidrag

[1]
Alshnakat, A., Lundberg, D., Guanciale, R., Dam, M., Palmskog, K. (2022). HOL4P4 : Semantics for a Verified Data Plane. In EuroP4 2022: Proceedings of the 5th International Workshop on P4 in Europe, Part of CoNEXT 2022. (pp. 39-45). Association for Computing Machinery (ACM).

Kapitel i böcker

[2]
Alshnakat, A., Gurov, D., Lidström, C. & Rümmer, P. (2020). Constraint-Based Contract Inference for Deductive Verification. In Deductive Software Verification: Future Perspectives (pp. 149-176). Springer Nature.
Senaste synkning med DiVA:
2023-09-11 00:19:30