Published February 28, 2023
| Version 1.0
Software
Open
Artifact of "VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A"
Description
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A".
Files
vmsl-artifact.zip
Files
(353.4 kB)
Name | Size | Download all |
---|---|---|
md5:5a393f4438366c72b933b076d61275d9
|
353.4 kB | Preview Download |