Difference between revisions of "PKC Workflow/System Verification by TLA+/Context"
Jump to navigation
Jump to search
(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...") |
m (KevinTung moved page TLA Workflow/Context to PKC Workflow/TLA Workflow/Context) |
(No difference)
| |
Revision as of 05:37, 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 more expressive to model system and independent of the order of execution.