Parallel model checking presentation at the ISPDC 2011 conference
Representing our group, András Vörös gave a presentation at the " The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011) " international conference, at Cluj Napoca. The title of the presentation is "Parallel Saturation Based Model Checking" and it summarized the recent advances in the parallelization of model checking algorithms developed at our research group.
The homepage of the conference: http://ispdc.utcluj.ro/
The homepage of the tool developed at our research group: http://www.inf.mit.bme.hu/research/tools/petridotnet