A Shape Analysis Tool based on Graph Grammars
Primary LanguageJavaGNU General Public License v3.0GPL-3.0