Skip to content
/ tlaplus Public
forked from tlaplus/tlaplus

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

License

Notifications You must be signed in to change notification settings

go-jvm/tlaplus

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

About

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Java 58.3%
  • TLA 28.8%
  • HTML 12.0%
  • TeX 0.7%
  • Batchfile 0.1%
  • CSS 0.1%