Difference between revisions of "PKC Workflow/System Verification by TLA+/Goal"

From PKC
Jump to navigation Jump to search
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
To efficiently state the system's preferred condition and determine them.
# To state the system's preferred conditions and determine them.

Latest revision as of 18:53, 29 August 2021

  1. To state the system's preferred conditions and determine them.