Difference between revisions of "PKC Workflow/System Verification by TLA+/Goal"
Jump to navigation
Jump to search
(Created page with "To efficiently state the system's preferred condition and determine them.") |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
To | # To state the system's preferred conditions and determine them. | ||
Latest revision as of 18:53, 29 August 2021
- To state the system's preferred conditions and determine them.