GitHub repository: konnov/apalache
Primary language: Scala
Description: APALACHE: symbolic model checker for TLA+