4th International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2005

Sunday 10 July 2005, Lisboa, Portugal
Affiliated to ICALP 2005, 11–15 July, 2005.



Programme

8:50 - 9:00 OPENING
9:00 - 10:00 INVITED TALK (60 min)
Beyond Single Cluster Reachability Analysis
     Gerd Behrmann (Aalborg University, Denmark)
     Kim G. Larsen (Aalborg University, Denmark)
10:00 - 10:45 REGULAR TALK (45 min)
Under-approximation heuristics for Grid-based BMC
     Subramanian Iyer (University of Texas at Austin)

10:45 - 11:15 COFFEE BREAK

11:15 - 12:00 REGULAR TALK (45 min)
Distributed Symbolic Bounded Property Checking
     Pradeep K. Nalla (University of Tuebingen),

12:00 - 12:40

REGULAR TALK (45 min)
How to Order Vertices for Distributed LTL Model-Checking based on Accepting
Predecessors
     Pavel Moravec (Masaryk University)

12:45 - 14:15 LUNCH

14:15 - 15:00 REGULAR TALK (45 min)
A Pattern Recognition Approach for Speculative Firing Prediction in
Distributed Saturation State-Space Generation
     Ming-Ying Chung (University of California, Riverside)
15:00 - 15:20 SHORT PRESENTATION (20 min)
DIVINE - The Distributed Verification Environment
     Pavel Simecek (Masaryk University in Brno)
15:20 - 15:40 SHORT PRESENTATION (20 min)
DivSPIN - A SPIN compatible distributed model checker
     M. Weber (RWTH Aachen University)

15:40 - 16:15 COFFEE BREAK

16:15 - 17:00 REGULAR TALK (45 min)
Distribution, Approximation and Probabilistic Model Checking
     Sylvain Peyronnet (LRDE, EPITA)
17:00 - 17:20 SHORT PRESENTATION (20 min)
DISTRIBUTOR and BCG MERGE: Tools for Distributed Explicit State Space
Generation
     Hubert Garavel (INRIA Rhone-Alpes)
17:20 - 17:40 SHORT PRESENTATION (20 min)
A New Reachability Algorithm for Symmetric Multi-processor Architecture
     Subramanian Iyer (University of Texas at Austin)
17:40 - 18:00 Business meeting
18:00 Closing the Workshop