Graphical formalisms are an increasingly important component of our research on the specification and verification of reactive systems. We briefly describe diagram-based verification methods we have developed for verifying temporal properties of infinite-state reactive systems, as well as for the incremental analysis and refinement of systems and specifications.
Appeared in CADE-13 Workshop on Visual Reasoning, New Brunswick, NJ, July 1996.
Postscript, PDF. © 1996, Springer Verlag.