Tool for building graph-based hierarchical knowledge representation systems
Kappa-Dev
Software specification and verification system based on graph rewriting
Verites
