There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.6

Philipp Wendler; Dirk Beyer


JSON-LD (schema.org) Export

{
  "description": "<ul>\n\t<li>One tool-info module improved.</li>\n</ul>", 
  "license": "https://opensource.org/licenses/Apache-2.0", 
  "creator": [
    {
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "https://orcid.org/0000-0002-5139-341X", 
      "@type": "Person", 
      "name": "Philipp Wendler"
    }, 
    {
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "https://orcid.org/0000-0003-4832-7662", 
      "@type": "Person", 
      "name": "Dirk Beyer"
    }
  ], 
  "url": "https://zenodo.org/record/4317433", 
  "codeRepository": "https://github.com/sosy-lab/benchexec/tree/3.6", 
  "datePublished": "2020-12-11", 
  "version": "3.6", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4317433", 
  "@id": "https://doi.org/10.5281/zenodo.4317433", 
  "@type": "SoftwareSourceCode", 
  "name": "sosy-lab/benchexec: Release 3.6"
}
1,852
114
views
downloads
All versions This version
Views 1,852489
Downloads 11411
Data volume 226.2 MB26.5 MB
Unique views 1,302463
Unique downloads 588

Share

Cite as