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.") |
m (KevinTung moved page TLA Workflow/Goal to PKC Workflow/TLA Workflow/Goal) |
(No difference)
| |
Revision as of 05:37, 28 August 2021
To efficiently state the system's preferred condition and determine them.