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,850
114
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,850 | 489 |
| Downloads | 114 | 11 |
| Data volume | 226.2 MB | 26.5 MB |
| Unique views | 1,300 | 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