-
@ José A. Alonso
2025-02-25 08:40:47Prove your colorings: Formal verification of cache coloring of Bao hypervisor. ~ Axel Ferréol, Laurent Corbin, Nikolai Kosmatov. https://www.nikolai-kosmatov.eu/publications/ferreol_ck_fase_2025.pdf #ITP #Coq #Rocq