There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.6

Philipp Wendler; Dirk Beyer

BibTeX Export

@software{philipp_wendler_2020_4317433,
  author       = {Philipp Wendler and
                  Dirk Beyer},
  title        = {sosy-lab/benchexec: Release 3.6},
  month        = dec,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {3.6},
  doi          = {10.5281/zenodo.4317433},
  url          = {https://doi.org/10.5281/zenodo.4317433}
}
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
More info on how stats are collected.
Available in Indexed in
Publication date:
December 11, 2020
DOI:
10.5281/zenodo.4317433

Zenodo DOI Badge

DOI 

10.5281/zenodo.4317433

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4317433.svg)](https://doi.org/10.5281/zenodo.4317433)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4317433.svg
   :target: https://doi.org/10.5281/zenodo.4317433

HTML 

<a href="https://doi.org/10.5281/zenodo.4317433"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4317433.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4317433.svg

Target URL 

https://doi.org/10.5281/zenodo.4317433

Related identifiers:
Documented by
Supplement to
Communities:
License (for files):
Apache License 2.0

Versions

Version 3.11 10.5281/zenodo.6024083 Feb 9, 2022
Version 3.10 10.5281/zenodo.5720267 Nov 23, 2021
Version 3.9 10.5281/zenodo.5534435 Sep 28, 2021
Version 3.8 10.5281/zenodo.4773326 May 19, 2021
Version 3.7 10.5281/zenodo.4723342 Apr 21, 2021
Version 3.6 10.5281/zenodo.4317433 Dec 11, 2020
View all 27 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1163552. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export