ff-a

There are 0 repository under ff-a topic.

• logsem / VMSL

  Verifying FF-A hypercalls using VMSL.

  irislogical-relationcoqseparation-logicff-ahypercallrobust-safety
  Language:Coq 3