/hwmcc20benchmarks

Benchmarks used at the 2020 Hardware Model-Checking Competition (HWMCC'20)

Stargazers