workcraft/workcraft

Combined check: true
Deadlock-freeness: true
Conformation: true
Output persistency: true
Binate function implementation: false
Strict implementation: null
Refinement: true