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

From PKC
Jump to navigation Jump to search
(Created page with "A Model for TLA Workflow")
 
Line 1: Line 1:
A Model for TLA Workflow
A Model for TLA Workflow
{{LogicModel | name=TLA Workflow}}

Revision as of 12:41, 25 August 2021

A Model for TLA Workflow

Logic Model (TLA Workflow) Template:LogicModel 08 25, 2021
Abstract Specification
Context
  1. REDIRECT PKC Workflow/System Verification by TLA+/Context
Goal
  1. REDIRECT PKC Workflow/System Verification by TLA+/Goal
Success Criteria
  1. REDIRECT PKC Workflow/System Verification by TLA+/Criteria
Concrete Implementation
Given Inputs When Process is executed... Then, we get Outputs
  1. REDIRECT PKC Workflow/System Verification by TLA+/Input
  1. REDIRECT PKC Workflow/System Verification by TLA+/Process
  1. REDIRECT PKC Workflow/System Verification by TLA+/Output
Boundary/Safety Conditions of TLA Workflow
  1. REDIRECT PKC Workflow/System Verification by TLA+/Boundary
Retrieved from "https://pkc.pub/index.php?title=PKC_Workflow/System_Verification_by_TLA%2B&oldid=10207"