GitHub - go-jvm/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 6,396 Commits
examples		examples
general		general
org.lamport.tla.distributed.consumer		org.lamport.tla.distributed.consumer
org.lamport.tla.toolbox.doc		org.lamport.tla.toolbox.doc
org.lamport.tla.toolbox.editor.basic		org.lamport.tla.toolbox.editor.basic
org.lamport.tla.toolbox.feature.base		org.lamport.tla.toolbox.feature.base
org.lamport.tla.toolbox.feature.branding		org.lamport.tla.toolbox.feature.branding
org.lamport.tla.toolbox.feature.editor		org.lamport.tla.toolbox.feature.editor
org.lamport.tla.toolbox.feature.help		org.lamport.tla.toolbox.feature.help
org.lamport.tla.toolbox.feature.jclouds		org.lamport.tla.toolbox.feature.jclouds
org.lamport.tla.toolbox.feature.jnlp		org.lamport.tla.toolbox.feature.jnlp
org.lamport.tla.toolbox.feature.prover		org.lamport.tla.toolbox.feature.prover
org.lamport.tla.toolbox.feature.standalone		org.lamport.tla.toolbox.feature.standalone
org.lamport.tla.toolbox.feature.tla2tex		org.lamport.tla.toolbox.feature.tla2tex
org.lamport.tla.toolbox.feature.tlc		org.lamport.tla.toolbox.feature.tlc
org.lamport.tla.toolbox.feature.uitest		org.lamport.tla.toolbox.feature.uitest
org.lamport.tla.toolbox.jclouds		org.lamport.tla.toolbox.jclouds
org.lamport.tla.toolbox.jnlp		org.lamport.tla.toolbox.jnlp
org.lamport.tla.toolbox.p2repository		org.lamport.tla.toolbox.p2repository
org.lamport.tla.toolbox.product.product		org.lamport.tla.toolbox.product.product
org.lamport.tla.toolbox.product.standalone		org.lamport.tla.toolbox.product.standalone
org.lamport.tla.toolbox.rss		org.lamport.tla.toolbox.rss
org.lamport.tla.toolbox.test		org.lamport.tla.toolbox.test
org.lamport.tla.toolbox.tool.prover		org.lamport.tla.toolbox.tool.prover
org.lamport.tla.toolbox.tool.tla2tex.uitest		org.lamport.tla.toolbox.tool.tla2tex.uitest
org.lamport.tla.toolbox.tool.tla2tex		org.lamport.tla.toolbox.tool.tla2tex
org.lamport.tla.toolbox.tool.tlc.test		org.lamport.tla.toolbox.tool.tlc.test
org.lamport.tla.toolbox.tool.tlc.ui.test		org.lamport.tla.toolbox.tool.tlc.ui.test
org.lamport.tla.toolbox.tool.tlc.ui.uitest		org.lamport.tla.toolbox.tool.tlc.ui.uitest
org.lamport.tla.toolbox.tool.tlc.ui		org.lamport.tla.toolbox.tool.tlc.ui
org.lamport.tla.toolbox.tool.tlc		org.lamport.tla.toolbox.tool.tlc
org.lamport.tla.toolbox.uitest		org.lamport.tla.toolbox.uitest
org.lamport.tla.toolbox		org.lamport.tla.toolbox
org.lamport.tlatools.api		org.lamport.tlatools.api
org.lamport.tlatools.consumer.distributed		org.lamport.tlatools.consumer.distributed
org.lamport.tlatools.feature		org.lamport.tlatools.feature
org.lamport.tlatools.impl.distributed		org.lamport.tlatools.impl.distributed
tlatools		tlatools
.gitignore		.gitignore
.travis-settings.xml		.travis-settings.xml
.travis.yml		.travis.yml
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
README.md		README.md
azure-pipelines.yml		azure-pipelines.yml
keystore		keystore
pom.xml		pom.xml

Repository files navigation

For more information, visit https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html

Contributing

Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.

License

Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2017 Microsoft Corporation

Licensed under the MIT License

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Contributing

License

About

Releases

Packages

Languages

License

go-jvm/tlaplus

Folders and files

Latest commit

History

Repository files navigation

Contributing

License

About

Resources

License

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages