Published March 1, 2022
| Version v2
Software
Open
Artifact for "Islaris: Verification of Machine Code Against Authoritative ISA Semantics"
Creators
- 1. MPI-SWS
- 2. University of Cambridge
- 3. University of Edinburgh
- 4. Aarhus University
Description
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritative ISA Semantics". It contains the Coq development for the paper.
Files
README.md
Files
(3.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:7465fa033cea88e123e1d9aab4b64616
|
3.4 GB | Download |
|
md5:959557445e9845616e8486189ef2787e
|
65.3 MB | Download |
|
md5:bd2dbd879bf4a7eaf9ac7f5eb365b5e8
|
21.7 kB | Preview Download |