workcraft/workcraft

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