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,852 | 489 |
| Downloads | 114 | 11 |
| Data volume | 226.2 MB | 26.5 MB |
| Unique views | 1,302 | 463 |
| Unique downloads | 58 | 8 |
Available in
Indexed in
Indexed in
- Publication date:
- December 11, 2020
- DOI:
-
- Related identifiers:
- Documented by
- 10.1007/s10009-017-0469-y (Journal article)
- https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf (Presentation)
- Supplement to
- Communities:
- License (for files):
- Apache License 2.0