# TLA+

TLA+ is a design specification language. It is used to verify design models.