Aug 13, 2012, 6:20:49 AM8/13/12
to hwmcc, Martina Seidl, Keijo Heljanko, Siert Wieringa
HWMCC'12 Call for Model Checkers and Benchmarks
Intentions of submission are requested by September 14, 2012.
Final versions of model checkers have to be submitted by the end of September.
For more information see http://fmv.jku.at/hwmcc12
The HWMCC'12 organizer team
Armin Biere, Keijo Heljanko, Martina Seidl, Siert Wieringa.