In this paper, we propose a formal framework that allows the combination of multiple diagrams into one proof, thus facilitating incremental proof construction of complex systems and properties. In addition, we extend the applicability of verification diagrams to properties specified by existentially quantified temporal formulas.Second Asian Computing Science Conf., LNCS vol. 1179, pp. 276-286, December 1996.
Postscript. © 1996, Springer Verlag.