Verigraph: a system for specification and analysis of graph grammars

DOI10.1007/978-3-319-49815-7_5zbMath1396.68063OpenAlexW2552319550MaRDI QIDQ1784784

Rodrigo Machado, Ricardo Gabriel Herdt, Thiago Rafael Becker, Andrei Costa, Leonardo Marques Rodrigues, Guilherme Grochau Azzi, Jonas Santos Bezerra

Publication date: 27 September 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-49815-7_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Module integration using graph grammars (MIGRATE) ⋮ Unnamed Item

Uses Software

• Verigraph

This page was built for publication: Verigraph: a system for specification and analysis of graph grammars