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
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |