PKC Workflow/System Verification by TLA+/Context
Revision as of 06:31, 28 August 2021 by KevinTung (talk | contribs) (KevinTung moved page PKC Workflow/TLA Workflow/Context to PKC Workflow/System Verification/Context)
- To analyze a system correctly before it is implemented, a language to model the system and automatic tools to prove the system is required.
- Mathematics is expressive to the model systems and independent of the order of execution.