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"

Creators

  • 1. Anonymous

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