GitHub repository: softagram/tlaplus
Primary language: Java
Description: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.