Software Open Access

TyGuS/suslik: SuSLik v1.0

Nadia Polikarpova; Ilya Sergey; Yasunari Watanabe; rashchedrin; Kiran Gopinathan; George Pîrlea; peleghila; Shachar Itzhaky; Reuben Rowe


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5074275", 
  "title": "TyGuS/suslik: SuSLik v1.0", 
  "issued": {
    "date-parts": [
      [
        2021, 
        7, 
        6
      ]
    ]
  }, 
  "abstract": "<p>Cyclic program synthesis, with support for certification via HTT/VST/Iris.</p>", 
  "author": [
    {
      "family": "Nadia Polikarpova"
    }, 
    {
      "family": "Ilya Sergey"
    }, 
    {
      "family": "Yasunari Watanabe"
    }, 
    {
      "family": "rashchedrin"
    }, 
    {
      "family": "Kiran Gopinathan"
    }, 
    {
      "family": "George P\u00eerlea"
    }, 
    {
      "family": "peleghila"
    }, 
    {
      "family": "Shachar Itzhaky"
    }, 
    {
      "family": "Reuben Rowe"
    }
  ], 
  "version": "v1.0", 
  "type": "article", 
  "id": "5074275"
}
1,111
40
views
downloads
All versions This version
Views 1,11169
Downloads 402
Data volume 34.7 GB1.2 MB
Unique views 67964
Unique downloads 312

Share

Cite as