Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams

Authors:
Werner Damm;J. Helbig
Affiliations:
-;-
Venue:
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Year:
1994

The Need for Compositional Proof Systems: A Survey

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Efficient Decompositional Model Checking for Regular Timing Diagrams

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Compositional Real-Time Semantics of STATEMATE Designs

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Hi-index	0.00