author: Bram Kamies
title: A Generic Framework for State Space Exploration
keywords: State Space Exploration, Graph Transformation, GROOVE
topics: Graphs , Logics and semantics , Software Technology
committee: Arend Rensink
started: November 2018