Skip to content
/ tlaplus Public

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

www.tlapl.us

License

MIT license
2.5k stars 219 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

tlaplus/tlaplus

Error
Looks like something went wrong!

About

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

www.tlapl.us

Topics

java algorithms high-performance verification specifications model-checking mit-license tla

Resources

Readme

License

MIT license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

2.5k stars

Watchers

48 watching

Forks

219 forks
Report repository

Releases 16

The Xenophanes release Latest
Aug 5, 2024
+ 15 releases

Sponsor this project

Contributors 47
+ 33 contributors

Languages