GitHub / workflowfm / workflowfm-reasoner
A logic-based library for correct-by-construction process modelling and composition.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/workflowfm%2Fworkflowfm-reasoner
Stars: 1
Forks: 0
Open issues: 4
License: apache-2.0
Language: OCaml
Size: 4.19 MB
Dependencies parsed at: Pending
Created at: about 6 years ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: 5 months ago
Topics: business-process-management, correct-by-construction, proofs-as-processes, resource-modeling, theorem-proving, type-theory, workflow-management, workflow-models, workflows
Loading...