Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.

Ralph D. Jeffords, Ramesh Bharadwaj

Browse the full MEMOCODE paper archive.