Archives of Formal-Methods Tools
Published December 20, 2023 | Version testcomp23.1
Software Open

ESBMC-kind (Test-Comp 2023)

Authors/Creators

  • 1. ROR icon University of Manchester

Contributors

Data curator:

  • 1. ROR icon Ludwig-Maximilians-Universität München

Description

Version from Test-Comp 2023.

Added README file to archive, compared to version testcomp23 (https://doi.org/10.5281/zenodo.10412818).

Files

esbmc-kind.zip

Files (108.3 MB)

Name Size Download all
md5:ad3e1778358408a299cc6deda025d179
108.3 MB Preview Download

Additional details

Dates

Submitted
2022-11-23
Test-Comp 2023
Submitted
2023-12-20
Test-Comp 2024