There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 2.5.1

Philipp Wendler; Dirk Beyer

This release does not contain any changes to BenchExec itself, just for a script in the contrib directory.

Files (1.9 MB)
Name Size
sosy-lab/benchexec-2.5.1.zip
md5:4c170d860d3b69c6cec03e04fb576a30 		1.9 MB Download
1,849
114
views
downloads
All versions This version
Views 1,84939
Downloads 1145
Data volume 226.2 MB9.3 MB
Unique views 1,29938
Unique downloads 585
More info on how stats are collected.
Available in Indexed in
Publication date:
December 13, 2019
DOI:
10.5281/zenodo.3574420

Zenodo DOI Badge

DOI 

10.5281/zenodo.3574420

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Related identifiers:
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 2.5.1 10.5281/zenodo.3574420 Dec 13, 2019
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