HWMCC'07 |
HWMCC'07HWMCC'07 was a competitive event for hardware model checkers. It was organized as a satellite event to the 19th International Conference on Computer Aided Verification (CAV 2007). NewsThe results of the competition were presented at CAV'07 (slides). ObjectiveTo keep up the driving force in improving model checkers, we wanted to motivate implementors to present their work to a broader audience and to compare it with that of others. 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. |