start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
start [2024/10/21 22:16] – fponzistart [2024/10/21 22:18] (current) – fponzi
Line 2: Line 2:
 This wiki is community driven, and aims to become a useful resource for TLA+ users. This wiki is community driven, and aims to become a useful resource for TLA+ users.
  
-===== TLA+ ======+===== TLA+ and TLC ======
 TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.  It's based on the idea that the best way to describe things precisely is with simple mathematics.  TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.  TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.  It's based on the idea that the best way to describe things precisely is with simple mathematics.  TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. 
-<code> 
  
 +TLC is a model checker for specifications written in TLA+. 
 +<code>
 ----- MODULE HourClock ----- ----- MODULE HourClock -----
 EXTENDS Naturals EXTENDS Naturals
  • start.1729548981.txt.gz
  • Last modified: 2024/10/21 22:16
  • by fponzi