There is a newer version of the record available.

Published June 15, 2020 | Version v1
Dataset Open

Datasets used in the Lab Validation of the RADON Verification Tool

Creators

  • 1. Imperial College London

Description

This repository contains the datasets that have been used to perform the lab validation of the RADON verification tool. In order to replicate the experiments, please unzip the file "validation-datasets.zip" and run the following command:

./run_all.rb {path_to_VT} list.json

 

Files

validation-datasets.zip

Files (354.0 kB)

Name Size Download all
md5:20b740c318168f191be774d20841ef8b
354.0 kB Preview Download

Additional details

Funding

RADON – Rational decomposition and orchestration for serverless computing 825040
European Commission