Pinned Loading

1. workflowfm/workflowfm-composer workflowfm/workflowfm-composer Public

   A Java-based server and GUI for formally verified process composition using the WorkflowFM Reasoner

   Java 1

2. workflowfm/workflowfm-reasoner workflowfm/workflowfm-reasoner Public

   A logic-based library for correct-by-construction process modelling and composition.

   OCaml 1

3. workflowfm/pew workflowfm/pew Public

   A persistent execution engine for pi-calculus workflows

   Scala 3

4. workflowfm/proter workflowfm/proter Public

   A discrete event simulator for asynchronous prioritized processes

   Scala 1

5. hol-light-embed hol-light-embed Public

   A generic framework to perform object level reasoning with embedded logics in HOL Light.

   OCaml 1

6. hol-light-tools hol-light-tools Public

   Homemade tools, tactics, and theorems for HOL Light

   OCaml 1