HWMCC'10 |
HWMCC'10HWMCC'10 was part of HWVW'10 affiliated to CAV'10 at FLOC'10. HWMCC'10 follows HWMCC'07,HWMCC'08 as the third competitive event for hardware model checkers. NewsThe results of the competition were presented at HWVW'10. ObjectiveOur goal is to keep up the driving force in improving model checkers. We also want to motivate implementors to present their work to a broader audience. Last but not least the competition collects realistic benchmarks and makes them available. OrganizationResearchers from both academia and industry had been invited to submit solvers and benchmarks. In the competition all entrants had to solve a set of benchmark instances in AIGER format. |