Logic Model Explained/Criteria

A collection of conditional statements, both pre and post-conditions of the execution process, to define the safe and liveness conditions that form the correct/successful criteria.