HWMCC'24 Call For Benchmarks and Solvers
24 views
Skip to first unread message
Armin Biere
Jul 20, 2024, 5:14:33 AMJul 20
to HWMCC
Hardware Model Checking Competition 2024
affiliated to FMCAD’24, October 14 - 18, 2024
Prague, Czech Republic
https://hwmcc.github.io/2024
This is the 12th competitive event for hardware model checkers.
Three Single Safety Property Tracks
1. Word-level without arrays (BTOR2)
2. Word-level with arrays (BTOR2)
3. Bit-level with mandatory sa certificates (AIGER)
(https://github.com/Froleyks/certifaiger)
Important Dates
Benchmarks Submission deadline August 18
Solver Submission deadline September 1
Organizers
Armin Biere, University of Freiburg, Germany
Nils Froleyks, Johannes Kepler University Linz, Austria
Mathias Preiner, Stanford University, USA
affiliated to FMCAD’24, October 14 - 18, 2024
Prague, Czech Republic
https://hwmcc.github.io/2024
This is the 12th competitive event for hardware model checkers.
Three Single Safety Property Tracks
1. Word-level without arrays (BTOR2)
2. Word-level with arrays (BTOR2)
3. Bit-level with mandatory sa certificates (AIGER)
(https://github.com/Froleyks/certifaiger)
Important Dates
Benchmarks Submission deadline August 18
Solver Submission deadline September 1
Organizers
Armin Biere, University of Freiburg, Germany
Nils Froleyks, Johannes Kepler University Linz, Austria
Mathias Preiner, Stanford University, USA
Reply all
Reply to author
Forward
0 new messages