Embedded Network Protocols for Mobile Devices
(FMICS'10, Antwerp, Sep 2010).
This paper discuss the design and analysis of three new networking
protocols for use in mobile devices. Distributed model checking enables
scaling up the required analysis and is shown to be efficient for these
practical examples as well.
Efficient Large-Scale Model Checking
(IPDPS'09, Rome, May 2009; sheets).
This paper discusses optimizations to the DiVinE model checker,
allowing it to achieve very good performance on large-scale
systems (tested up to 256 cores), both on a single DAS-3 cluster
and a DAS-3 grid interconnected by StarPlane.