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