Echo: a practical approach to formal verification.

Elisabeth A. Strunk, Xiang Yin, John C. Knight

Browse the full FMICS paper archive.