Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
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
2,256
143
views
downloads
All versions This version
Views 2,25653
Downloads 1435
Data volume 342.1 MB9.3 MB
Unique views 1,67552
Unique downloads 795
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.17 10.5281/zenodo.8135887 Jul 11, 2023
Version 3.16 10.5281/zenodo.7612021 Feb 6, 2023
Version 3.15 10.5281/zenodo.7351656 Nov 23, 2022
Version 3.14 10.5281/zenodo.7299323 Nov 7, 2022
Version 3.13 10.5281/zenodo.7056807 Sep 7, 2022
...
Version 2.5.1 10.5281/zenodo.3574420 Dec 13, 2019
View all 33 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