⇩ Markdown

Gas Town→Annotated version of 'Welcome to Gas Town'→examples of excellent state validations→TLA plus→specification

specification

Backlinks

TLA plus

Formal specification language created by person - Leslie Lamport for describing concurrent and distributed systems.

see in context