Augur 2

MaRDI QIDQ20412swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066108002570?via=ihub

Cited in

(19)

• Unfolding-based diagnosis of systems with an evolving topology
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• A calculus of concurrent graph-rewriting processes
• Verification of random graph transformation systems
• Tools and Algorithms for the Construction and Analysis of Systems
• A framework for the verification of infinite-state graph transformation systems
• StEAM
• Graph transformation benchmarks
• CheckVML
• GROOVE
• Orion
• Henshin
• MoonWalker
• Development of Correct Graph Transformation Systems
• OCL2AC
• PTGTSs
• Analysis of graph transformation systems: native vs translation-based techniques
• Incremental construction of coverability graphs
• Towards the Verification of Attributed Graph Transformation Systems

This page was built for software: Augur 2