Replication artifact for the NITWIT Validator submitted to TACAS20
| Main Authors: | Švejda, Jan, Berger, Philipp, Joost-Pieter Katoen |
|---|---|
| Format: | info software eJournal |
| Bahasa: | eng |
| Terbitan: |
, 2019
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/3518139 |
Daftar Isi:
- This artifact contains a reproduction set for the paper *Interpretation-Based Violation Witness Validation for C: NITWIT*. There are multiple ways to run the NITWIT validator presented in the paper. Likely the easiest is to build a Docker image which you can later purge without changes to the system. Instructions on that are in `artifact/nitwit/README.md` or our [GitHub repository](https://github.com/moves-rwth/nitwit-validator). Should you want to reproduce results presented in our paper in the TACAS20 virtual machine, please follow the steps in the artifact's Readme.txt
- Licensing is described in License.txt inside the archive.