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