A TLA+ program for the increment operation on a variable.
This abstract program is from the Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD).
moocf/increment.tla
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation