GitHub / pascalpoizat / fbpmn

:microscope: formal tools for BPMN

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pascalpoizat%2Ffbpmn
PURL: pkg:github/pascalpoizat/fbpmn

Stars: 34
Forks: 6
Open issues: 3

License: apache-2.0
Language: Haskell
Size: 36.3 MB
Dependencies parsed at: Pending

Created at: almost 7 years ago
Updated at: 2 months ago
Pushed at: 2 months ago
Last synced at: 4 days ago

Topics: alloy, bpmn, research, tlaplus, verification

Loading...