GitHub repository: workflowfm/workflowfm-composer
Primary language: Java
Description: A Java-based server and GUI for formally verified process composition using the WorkflowFM Reasoner