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


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences", 
      "@type": "Person", 
      "name": "Qiuye Wang"
    }, 
    {
      "affiliation": "Lehrstuhl f\u00fcr Informatik 2, RWTH Aachen University", 
      "@type": "Person", 
      "name": "Mingshuai Chen"
    }, 
    {
      "affiliation": "State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences", 
      "@type": "Person", 
      "name": "Bai Xue"
    }, 
    {
      "affiliation": "State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences", 
      "@type": "Person", 
      "name": "Naijun Zhan"
    }, 
    {
      "affiliation": "Lehrstuhl f\u00fcr Informatik 2, RWTH Aachen University", 
      "@type": "Person", 
      "name": "Joost-Pieter\tKatoen"
    }
  ], 
  "url": "https://zenodo.org/record/4725465", 
  "datePublished": "2021-04-29", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4725465", 
  "@id": "https://doi.org/10.5281/zenodo.4725465", 
  "@type": "SoftwareSourceCode", 
  "name": "Artifact VM for \"Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming\""
}
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