PKC Workflow/Criteria

1. An example of how the formal method could integrate into Logic Model is demonstrated.
2. The Logic Models of the project are defined correctly
3. The core concepts which explain the Logic Model is defined.