Software Open Access
sosy-lab/benchexec: Release 3.6
Philipp Wendler;
Dirk Beyer
- One tool-info module improved.
Files
(2.4 MB)
| Name | Size | |
|---|---|---|
|
sosy-lab/benchexec-3.6.zip
md5:d966985d8d3afd567aef668083fe27c6 |
2.4 MB | Download |
1,666
104
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,666 | 461 |
| Downloads | 104 | 9 |
| Data volume | 190.7 MB | 21.7 MB |
| Unique views | 1,153 | 437 |
| Unique downloads | 48 | 6 |
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