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.

[ home ] [ Submission Page ] [ Call for Papers (Poster) ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ]

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

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