GitHub repository: sefanja/workcraft
Primary language: Java
Description: Toolset to capture, simulate, synthesize and verify graph models