Software Open Access

Artifact VM for "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming"

Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen

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 (12.1 GB)
Name Size
ubuntu.ova
md5:667da1604446647af1cac069779f21a4
12.1 GB Download
165
36
views
downloads
All versions This version
Views 165165
Downloads 3636
Data volume 436.1 GB436.1 GB
Unique views 155155
Unique downloads 3030

Share

Cite as