Elisabeth A. Strunk, Xiang Yin 0001, John C. Knight. Echo: a practical approach to formal verification. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 44-53, ACM, 2005. [doi]
Abstract is missing.