Difference between revisions of "Logic Model Explained/Criteria"

From PKC
Jump to navigation Jump to search
(Created page with "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.")
 
 
Line 1: Line 1:
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.
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.

Latest revision as of 08:54, 7 December 2022

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.