Verification techniques for Conceptual Work Products
1/23/2017 - We are currently restricting our work to Start Events, End Events, Tasks, Sequence Flows, Parallel gateways, Exclusive Gateways, and Subprocesses. Inclusive gateways have proven to be too complex for the first iteration of this project.