524 search results - page 2 / 105 » Application of Graph Transformation in Verification of Dynam... |
ENTCS
2008
13 years 5 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
FASE
1998
Springer
13 years 9 months ago
1998
Springer
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 t...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
IANDC
2008
13 years 5 months ago
2008
TCAD
2008
13 years 5 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...