Search Results - RepositoryStats

179

907

mit

58

团队对外分享ppt

tlc ivweb

Created 2016-12-13

128 commits to master branch, last one 3 years ago

29

336

mit

12

TLA+ language support for Visual Studio Code

tla tlc pluscal verification specification formal-methods model-checking vscode-extension

Created 2019-07-14

646 commits to master branch, last one 5 months ago

4

78

mit

4

A script for running TLA+/TLC from the command line

tlc tlaplus formal-methods

Created 2020-01-10

32 commits to master branch, last one 4 years ago