Difference between revisions of "TLA+/Context"

Latest revision as of 14:22, 16 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.

Revision as of 14:22, 16 August 2021 (view source) KevinTung (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 m...")		Latest revision as of 14:22, 16 August 2021 (view source) KevinTung (talk \| contribs)
(One intermediate revision by the same user not shown)
Line 1:		Line 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.		# 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.		# Mathematics is more expressive to model system and independent of the order of execution.