PKC Workflow/System Verification by TLA+/Context

From PKC
Revision as of 05:43, 28 August 2021 by KevinTung (talk | contribs)
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 expressive to the model systems and independent of the order of execution.
Retrieved from "https://pkc.pub/index.php?title=PKC_Workflow/System_Verification_by_TLA%2B/Context&oldid=10547"