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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4725465", 
  "language": "eng", 
  "title": "Artifact VM for \"Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming\"", 
  "issued": {
    "date-parts": [
      [
        2021, 
        4, 
        29
      ]
    ]
  }, 
  "abstract": "<p>The Virtual Machine (VM) used for the Artifact Evaluation at the 33rd International Conference on Computer-Aided Verification (CAV 2021).</p>\n\n<p><br>\nThis VM reproduces the results in the paper titled &quot;Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming&quot;.</p>\n\n<p><br>\nThe VM runs Ubuntu 21.04 (we suggest &gt;= 8GB RAM allocated for the VM), with an admin user: osboxes.org and password: osboxes.org .</p>\n\n<p>&nbsp;</p>", 
  "author": [
    {
      "family": "Qiuye Wang"
    }, 
    {
      "family": "Mingshuai Chen"
    }, 
    {
      "family": "Bai Xue"
    }, 
    {
      "family": "Naijun Zhan"
    }, 
    {
      "family": "Joost-Pieter\tKatoen"
    }
  ], 
  "type": "article", 
  "id": "4725465"
}
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