The 10th International Workshop on Parallel and Distributed Methods in verifiCation will be held jointly with the 23rd International Conference on Computer Aided Verification (CAV 2011).
PDMC 2010Januar 19, 2010
The 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'10) will be held as a part of joint event HiBi/PDMC on September 30th and October 1st, 2010 in Twente, The Netherlands. The workshop will co-locate with ICGT/SPIN (September 27th - September 29th, 2010).
Release of DIVINE 2.0The new version of parallel shared- and distributed-memory LTL model-checker DiVinE is available from the download page.
PDMC 2009February 4, 2009
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09) will be held on Wednesday, November 4, 2009 in Eindhoven, The Netherlands. The workshop will be affiliated to Formal Methods 2009 (November 2 - November 6, 2009) and will collocate with other related events in the first Formal Methods Week.
Dagstuhl Seminar 2008August 14, 2008
Dagstuhl Seminar No. 08332 on Distributed Verification and Grid Computing was held from August 10 till August 14, 2009. The organizers were Henri E. Bal, Lubos Brim and Martin Leucker. The seminar brought together two groups of researchers to discuss their recent work and recent trends related to parallel verification of large scale computer systems on large scale grids. In total, 29 experts from 12 countries attended the seminar.
October 17, 2007
The first public release of parallel shared-memory LTL model-checker for multi-core machines DIVINE MULTI-CORE is available from the download page.