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
More info on how stats are collected.
Indexed in
Publication date:
April 29, 2021
DOI:
10.5281/zenodo.4725465

Zenodo DOI Badge

DOI 

10.5281/zenodo.4725465

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4725465.svg)](https://doi.org/10.5281/zenodo.4725465)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4725465.svg
   :target: https://doi.org/10.5281/zenodo.4725465

HTML 

<a href="https://doi.org/10.5281/zenodo.4725465"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4725465.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4725465.svg

Target URL 

https://doi.org/10.5281/zenodo.4725465

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4725465 Apr 29, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4725464. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export