Graph transformation benchmarks

MaRDI QIDQ16286swMATHFDO

Official website http://www.cs.bme.hu/~gervarro/benchmark/2.0/

Described by source

• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

Cited in

(15)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• GrGen
• PROGRES
• HOL-Z
• Fujaba
• VIATRA2
• AGG
• VPM
• CheckVML
• DiaGen
• GRAS
• REforDI
• CatLib
• Graph Transformation by Computational Category Theory

This page was built for software: Graph transformation benchmarks