113 search results - page 2 / 23 » A framework for the verification of infinite-state graph tra... |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
ENTCS
2008
13 years 7 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...
IFM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
FASE
1998
Springer
13 years 11 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
14 years 28 days ago
2005
Springer
