Archives of Formal-Methods Tools

There is a newer version of the record available.

Published November 22, 2022 | Version testcomp23
Software Open

Legion/SymCC (Test-Comp 2023)

Creators

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

Contributors

Data curator:

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

Description

Version from Test-Comp 2023.

Files

legion-symcc.zip

Files (33.5 MB)

Name Size Download all
md5:7cc5eab979d0b84b58f615d785a9c08f
33.5 MB Preview Download

Additional details

Dates

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