Published April 29, 2021 | Version v1
Software Open

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

Creators

  • 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