PKC Workflow/System Verification by TLA+/Context

From PKC
Revision as of 00:43, 14 August 2021 by Benkoo (talk | contribs) (Created page with "#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 more expressive to...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
  1. To analyze a system correctly before it is implemented, a language to model the system and automatic tools to prove the system is required.
  2. Mathematics is more expressive to model system and independent of the order of execution.
Retrieved from "https://pkc.pub/index.php?title=PKC_Workflow/System_Verification_by_TLA%2B/Context&oldid=9370"