GitHub repository: stessaris/dawnets
Primary language: Python
Created: 2019-09-24T15:13:58Z
Description: Code released for DAWNet article "Verification of data-aware workflows via reachability: formalisation and experiments"