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

Revision as of 06:32, 28 August 2021

A Model for System Verification

Abstract Specification
Context	System Verification/Context
Goal	System Verification/Goal
Success Criteria	System Verification/Criteria

Concrete Implementation
Given Inputs	When Process is executed...	Then, we get Outputs
System Verification/Input	System Verification/Process	System Verification/Output

Boundary/Safety Conditions of System Verification
System Verification/Boundary

Revision as of 06:31, 28 August 2021 (view source) KevinTung (talk \| contribs) m (KevinTung moved page PKC Workflow/TLA Workflow to PKC Workflow/System Verification) ← Older edit		Revision as of 06:32, 28 August 2021 (view source) KevinTung (talk \| contribs) Newer edit →
Line 1:		Line 1:
	A Model for ~~TLA Workflow~~		A Model for System Verification
	{{LogicModel \| name=~~TLA Workflow~~}}		{{LogicModel \| name=System Verification}}