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

Latest revision as of 18:53, 29 August 2021

Revision as of 18:07, 29 August 2021 (view source) KevinTung (talk \| contribs) m (KevinTung moved page PKC Workflow/System Verification/Goal to PKC Workflow/System Verification by TLA+/Goal) ← Older edit		Latest revision as of 18:53, 29 August 2021 (view source) KevinTung (talk \| contribs)
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.