On Formal Definition and Analysis of Formal Verification Processes

Leon J. Osterweil. On Formal Definition and Analysis of Formal Verification Processes. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 35-52, Springer, 2014. [doi]

Abstract

Abstract is missing.