Published April 29, 2021
| Version v1
Software
Open
Artifact VM for "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming"
- 1. State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences
- 2. Lehrstuhl für Informatik 2, RWTH Aachen University
Description
The Virtual Machine (VM) used for the Artifact Evaluation at the 33rd International Conference on Computer-Aided Verification (CAV 2021).
This VM reproduces the results in the paper titled "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming".
The VM runs Ubuntu 21.04 (we suggest >= 8GB RAM allocated for the VM), with an admin user: osboxes.org and password: osboxes.org .
Files
Files
(12.1 GB)
Name | Size | Download all |
---|---|---|
md5:667da1604446647af1cac069779f21a4
|
12.1 GB | Download |