PKC Workflow/System Verification by TLA+

From PKC
Revision as of 12:41, 25 August 2021 by KevinTung (talk | contribs)
Jump to navigation Jump to search

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"