Diagram-Based Formalisms for the Verification of Reactive Systems

Luca de Alfaro, Anca Browne, Zohar Manna, Henny Sipma, Tomas Uribe

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.


© Henny Sipma / sipma@cs.stanford.edu
Last modified: Thu Mar 29 20:31:58 PST 2001