Sunday, July 8, 2007, Berlin, Germany
Affiliated to CAV 2007,
July 3–7, 2007.
8:50 - 9:00 OPENING 9:00 - 10:00 INVITED TALK
Multi-Core Algorithms for Model Checking with Spin
Gerard Holzmann (NASA/JPL Laboratory of Reliable Software)
10:00 - 10:30 COFFEE BREAK 10:30 - 11:00 REGULAR TALK
A Database Approach to Distributed State Space Generation
Stefan Blom, Bert Lisser, Jaco van de Pol and Michael Weber
11:00 - 11:30 REGULAR TALK
Distributed Verification of Multi-threaded C++ Programs
Stefan Edelkamp, Shahid Jabbar and Damian Sulewski
11:30 - 12:00 REGULAR TALK
Measuring and Evaluating Parallel State-Space Exploration Algorithms
Jonathan Ezekiel and Gerald Lttgen
12:00 - 13:30 LUNCH 13:30 - 14:00 REGULAR TALK
Improved Distributed Algorithms for SCC Detection
Jiri Barnat, Jakub Chaloupka and Jaco van de Pol
14:00 - 14:30 REGULAR TALK
Shared Hash Tables in Parallel Model Checking
Jiri Barnat and Petr Rockai
14:30 - 15:00 REGULAR TALK (TOOL PRESENTATION)
Distributed partial order reduction for security protocols
Mohammad Torabi Dashti and Anton Wijs
15:00 - 15:20 COFFEE BREAK 15:20 - 15:50 WORK-IN-PROGRESS REPORT
Parallel CSRL Model Checking: First Results and Pointers to Future Research
Boudewijn Haverkort and Matthias Kuntz
15:50 - 16:20 WORK-IN-PROGRESS REPORT
Caching, Hashing, and Garbage Collection for Distributed State Space Construction
Ming-Ying Chung, Gianfranco Ciardo and Radu Siminiceanu
16:20 - 16:30 CLOSING