Sunday 10 July 2005, Lisboa, Portugal
Affiliated to ICALP
2005, 11–15 July, 2005.
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