23 citations · 23 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2003
Methods to Model-Check Parallel Systems Software
Olga Shumsky Matlin, William McCune, Ewing Lusk
We report on an effort to develop methodologies for formal verification of parts of the Multi-Purpose Daemon (MPD) parallel process management system. MPD is a distributed collecti…
cs.LO2002
SPINning Parallel Systems Software
O. S. Matlin, E. Lusk, W. McCune
We describe our experiences in using SPIN to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect…