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

HybridTiger (Test-Comp 2023)

Creators

  • 1. ROR icon Technical University of Darmstadt

Contributors

Data curator:

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

Description

Version from Test-Comp 2023.

Files

hybridtiger.zip

Files (109.3 MB)

Name Size Download all
md5:7d2ed98275510d854d6b9316e1c7d8f5
109.3 MB Preview Download

Additional details

Dates

Submitted
2022-09-16
Test-Comp 2023
Submitted
2023-12-20
Test-Comp 2024