Xiang Yin. The echo approach to formal verification. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 981-984, ACM, 2006. [doi]
Abstract is missing.