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