Chủ sở hữu
tlaplus
Đã lập chỉ mục 9 kho mã nguồn · Xem trên GitHub
-
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java · 3058 star
-
Examples
A collection of TLA⁺ specifications of varying complexities.
TLA · 1570 star
-
vscode-tlaplus
TLA+ language support for Visual Studio Code
TypeScript · 435 star
-
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA · 315 star
-
tlapm
The TLA⁺ Proof Manager
OCaml · 124 star
-
foundation
TLA+ Foundation
HTML · 34 star
-
TypeScript · 10 star
-
model-checker-hardening
Hardening TLC and Apalache through systematic, differential, fuzz, and regression testing to improve the reliability of TLA+ model checking
Java · 7 star
-
ValidationTestSuite
Tool qualification tests and reports for the TLA+ model checker
Python · 6 star
-
enhancement Tools
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 75/100
-
apalache finding
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
-
finding tlc
tlaplus/model-checker-hardening#197 · 1 người được giao ·
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
The `IsInjective` override of the Community Modules rejects records and unevaluated functions Đang mởfinding tlc
tlaplus/model-checker-hardening#196 · 1 người được giao ·
-
JSON reader cannot read `ApalacheInternal` operators from Apalache's community-module wiring Đang mởapalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
finding tlc
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
finding tlc
tlaplus/model-checker-hardening#188 · 1 bình luận · 1 người được giao ·
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
finding tlc
tlaplus/model-checker-hardening#183 · 1 bình luận · 1 người được giao ·
-
finding tlc
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
`PrettyWriter` does not delimit a set-map body wrapped in a one-argument conjunction or disjunction Đang mởapalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
-
finding tlc
tlaplus/model-checker-hardening#161 · 1 bình luận · 1 người được giao ·
-
finding tlc
tlaplus/model-checker-hardening#162 · 1 reaction · 1 người được giao ·
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 70/100
-
enhancement SANY
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 58/100
-
finding tlc
tlaplus/model-checker-hardening#152 · 1 reaction · 1 người được giao ·
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 56/100
-
bug soundness \/ completeness Tools
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
-
bug soundness \/ completeness Tools
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
finding tlc
tlaplus/model-checker-hardening#138 · 1 bình luận · 1 người được giao ·
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
-
An invariant evaluation error is reported with the call stack and exit status of a different error Đang mởfinding tlc
tlaplus/model-checker-hardening#135 · 1 bình luận · 1 người được giao ·
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 62/100
-
finding tlc
tlaplus/model-checker-hardening#130 · 1 bình luận · 1 người được giao ·
-
finding tlc
tlaplus/model-checker-hardening#116 · 2 bình luận · 1 người được giao ·
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 50/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
bug SANY
tlaplus/tlaplus#1418 · 2 bình luận · 1 reaction · 2 người được giao ·
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 52/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
-
A function application makes a bounded CHOOSE keep its set elements lazy and exhaust the heap Đang mởfinding tlc
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
tlaplus/model-checker-hardening#98 · 1 bình luận ·
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
finding tlc
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
tlaplus/model-checker-hardening#93 · 1 bình luận ·
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
apalache finding
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
finding tlc
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
apalache finding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.