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)

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

This page was built for software: Graph transformation benchmarks