Difference between revisions of "PKC Workflow/System Verification by TLA+/Goal"
Jump to navigation
Jump to search
m (KevinTung moved page PKC Workflow/TLA Workflow/Goal to PKC Workflow/System Verification/Goal) |
m (KevinTung moved page PKC Workflow/System Verification/Goal to PKC Workflow/System Verification by TLA+/Goal) |
(No difference)
| |
Revision as of 18:07, 29 August 2021
To efficiently state the system's preferred condition and determine them.