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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Qiuye Wang</dc:creator>
  <dc:creator>Mingshuai Chen</dc:creator>
  <dc:creator>Bai Xue</dc:creator>
  <dc:creator>Naijun Zhan</dc:creator>
  <dc:creator>Joost-Pieter	Katoen</dc:creator>
  <dc:date>2021-04-29</dc:date>
  <dc: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 &gt;= 8GB RAM allocated for the VM), with an admin user: osboxes.org and password: osboxes.org .

 </dc:description>
  <dc:identifier>https://zenodo.org/record/4725465</dc:identifier>
  <dc:identifier>10.5281/zenodo.4725465</dc:identifier>
  <dc:identifier>oai:zenodo.org:4725465</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>doi:10.5281/zenodo.4725464</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>Artifact VM for "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming"</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
178
37
views
downloads
All versions This version
Views 178178
Downloads 3737
Data volume 448.2 GB448.2 GB
Unique views 168168
Unique downloads 3131

Share

Cite as