Cargando…
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
The behavior of various kinds of dynamic systems can be formalized using typed attributed graph transformation systems (GTSs). The states of these systems are then modelled using graphs and the evolution of the system from one state to another is described by a finite set of graph transformation rul...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314960/ http://dx.doi.org/10.1007/978-3-030-51372-6_15 |