23 citations · 23 across the 3 of their papers we have counts for
1 paper · 2 filters
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…