July 14, 2011, Cliff Lodge, Snowbird, Utah
Co-locating with
23rd International Conference on Computer Aided Verification (CAV 2011)
|
|
07:00 - 08:30 Continental Breakfast SESSION 1 08:30 - 09:00 Lazy Decomposition for Distributed Decision Procedures
Youssef Hamadi, Joao Marques-Silva and Christoph M. Wintersteiger
09:00 - 09:30 PKind: A parallel k-induction based model checker
Temesghen Kahsai and Cesare Tinelli
09:30 - 10:00 CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Nikola Benes, Ivana Cerna and Milan Krivanek
10:00 - 10:30 Coffee Break SESSION 2 10:30 - 11:00 Computing Optimal Cycle Mean in Parallel on CUDA
Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska
11:00 - 11:30 Distributed MAP in the SpinJa Model Checker
Stefan Vijzelaar, Kees Verstoep, Wan Fokkink and Henri Bal
11:30 - 12:00 The HIVE Tool for Informed Swarm State Space Exploration
Anton Wijs
12:00 - 13:30 Lunch INVITED SESSION (1) 13:30 - 14:00 Platform Dependent Verification: Engineering Verification Tools for 21st Century [slides]
Lubos Brim and Jiri Barnat
14:00 - 14:30 Parallel Nested Depth First Search [slides]
Jaco van de Pol
14:30 - 15:00 Distributed BDD-Based Model Checking [slides]
Orna Grumberg
15:00 - 15:30 Coffee Break INVITED SESSION (2) 15:30 - 16:00 Parallel and Distributed Statistical Model Checking of Parameterized Timed Automata [slides]
Kim Larsen, Alexandre David, Petr Bulychev
16:00 - 16:30 Parallelism: A Siren Song? [slides]
Moshe Vardi
16:30 - 17:00 Discussion & Closing