Projects in Awesome Lists tagged with ff-a
A curated list of projects in awesome lists tagged with ff-a .
https://github.com/logsem/vmsl
Verifying FF-A hypercalls using VMSL.
coq ff-a hypercall iris logical-relation robust-safety separation-logic
Last synced: 25 Mar 2025
