robust-safety

There are 0 repository under robust-safety topic.

logsem / VMSL
Verifying FF-A hypercalls using VMSL.
iris logical-relation coq separation-logic ff-a hypercall robust-safety
Language:Coq 3