Published June 22, 2021 | Version 2
Dataset Open

Datasets used in the Lab Validation of the RADON Verification Tool

Authors/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 (13.4 MB)

Name Size
md5:3242089ff34e6a2e94dd5545af49fff7
13.4 MB Preview Download

Additional details

Funding

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