Compositional verification of reactive systems specified by graph transformation

A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual tool here is the notion of view, that is, an incomplete specification describing only a certain aspect of the overall sys...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Heckel, Reiko
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Graph Grammar Graph Transformation Graph Transition Liveness Property Programming theory Temporal Formula Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!