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

Revision as of 06:31, 28 August 2021

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.

Revision as of 05:43, 28 August 2021 (view source) KevinTung (talk \| contribs) ← Older edit	Revision as of 06:31, 28 August 2021 (view source) KevinTung (talk \| contribs) m (KevinTung moved page PKC Workflow/TLA Workflow/Context to PKC Workflow/System Verification/Context) Newer edit →
(No difference)