Documents Experiences with Formal Specifications of Fault-Tolerant File Systems Roxana Geambasu(University of....

Experiences with Formal Specifications of Fault-Tolerant File Systems Roxana Geambasu (University of Washington) Andrew Birrell (Microsoft Research) John MacCormick (Dickinson…

Documents Experiences with Formal Specifications of Fault-Tolerant File Systems

Experiences with Formal Specifications of Fault-Tolerant File Systems Roxana Geambasu (University of Washington) Andrew Birrell (Microsoft Research) John MacCormick (Dickinson…