A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.

Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard

Browse the full FM paper archive.