Software Open Access

Tritlo/quickspec: ICST 2023 Benchmark

Nick Smallbone; Maximilian Algehed; Sandy Maguire; Koen Claessen; Tom Sydney Kerckhove; Matthías Páll Gissurarson; moajohansson

QuickSpec as used for benchmarking for ICST 2023

Files (143.6 kB)
Name Size
Tritlo/quickspec-icst-2023-benchmark.zip
md5:2b5016e065515c624acf5b84accff72c 		143.6 kB Download
17
1
views
downloads
All versions This version
Views 1717
Downloads 11
Data volume 143.6 kB143.6 kB
Unique views 1313
Unique downloads 11
More info on how stats are collected.
Available in Indexed in
Publication date:
January 24, 2023
DOI:
10.5281/zenodo.7565011

Zenodo DOI Badge

DOI 

10.5281/zenodo.7565011

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version icst-2023-benchmark 10.5281/zenodo.7565011 Jan 24, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7565010. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export