EPTCS 14 - PDMC 2009
Lubos Brim, Jaco van de Pol (Eds.): Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation. 2009 EPTCS 14 [ contents ]- Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin: Parallel symbolic state-space exploration is difficult, but what is the alternative? ... 1-17
- Stefan Blom, Jaco van de Pol: Distributed Branching Bisimulation Minimization by Inductive Signatures. ... 32-46
- Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi: Efficient Parallel Statistical Model Checking of Biochemical Networks. ... 47-61
- Siert Wieringa, Matti Niemenmaa, Keijo Heljanko: Tarmo: A Framework for Parallelized Bounded Model Checking. ... 62-76
- Hao Wang, Wendy MacCaull: An Efficient Explicit-time Description Method for Timed Model Checking. ... 77-91
- Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni: Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. ... 92-106
- Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. ... 107-111
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team