tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Github stars Tracking Chart

Main metrics

Overview
Name With Ownertlaplus/tlaplus
Primary LanguageJava
Program languageTeX (Language Count: 10)
Platform
License:MIT License
所有者活动
Created At2016-02-02 08:48:27
Pushed At2025-05-20 03:29:24
Last Commit At2025-05-06 14:16:34
Release Count31
Last Release Namev1.8.0 (Posted on )
First Release Namev1.4.8 (Posted on 2015-04-27 13:42:08)
用户参与
Stargazers Count2.4k
Watchers Count49
Fork Count211
Commits Count8.6k
Has Issues Enabled
Issues Count861
Issue Open Count269
Pull Requests Count205
Pull Requests Open Count24
Pull Requests Close Count95
项目设置
Has Wiki Enabled
Is Archived
Is Fork
Is Locked
Is Mirror
Is Private