Hierarchical Verification Diagrams

Anca Browne, Zohar Manna, Henny Sipma,
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.


© Henny Sipma / sipma@cs.stanford.edu
Last modified: Wed May 19 15:00:42 PDT 1999