The Verigraph system for graph transformation

DOI10.1007/978-3-319-75396-6_9zbMath1383.68041OpenAlexW2787389163MaRDI QIDQ1708186

Leonardo Marques Rodrigues, Leila Ribeiro, Jonas Santos Bezerra, Andrei Costa, Rodrigo Machado, Guilherme Grochau Azzi

Publication date: 4 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-75396-6_9

zbMATH Keywords

static analysissoftware systemgraph transformation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Computational category-theoretic rewriting ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Verigraph

Uses Software

• GrGen
• Haskell
• AGG
• Hets
• GROOVE
• Henshin
• eMoflon
• AGREE
• EMorF

This page was built for publication: The Verigraph system for graph transformation