Software Open Access
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 .