14 lines
324 B
Plaintext
14 lines
324 B
Plaintext
------------------------------ MODULE Untitled ------------------------------
|
|
EXTENDS Naturals
|
|
|
|
VARIABLE x
|
|
|
|
Init == x = 0
|
|
Next == x' = x + 1
|
|
|
|
Spec == Init /\ [][Next]_x
|
|
|
|
=============================================================================
|
|
\* Modification History
|
|
\* Created Sun Feb 23 19:24:27 EST 2025 by danesabo
|