Archives of Formal-Methods Tools
Published September 16, 2022 | Version svcomp23
Software Open

Crux (SV-COMP 2023)

Authors/Creators

  • 1. ROR icon Galois (United States)

Contributors

Data curator:

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

Description

Version from SV-COMP 2023.

Files

crux.zip

Files (94.9 MB)

Name Size Download all
md5:d48c7bd57c21deebb40bdb46c88e2749
94.9 MB Preview Download

Additional details

Dates

Submitted
2022-09-16
SV-COMP 2023
Submitted
2023-12-17
SV-COMP 2024