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

Latest revision as of 18:07, 29 August 2021

Revision as of 00:47, 14 August 2021 (view source) Benkoo (talk \| contribs) (Created page with "The specified property are determined.")		Latest revision as of 18:07, 29 August 2021 (view source) KevinTung (talk \| contribs) m (KevinTung moved page PKC Workflow/System Verification/Criteria to PKC Workflow/System Verification by TLA+/Criteria)
(5 intermediate revisions by 2 users not shown)
Line 1:		Line 1:
	The [[specified ~~property~~]] are determined.		# The [[PKC System Specification\|specified properties]] are determined.