TLA+

Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.

Name		Name	Last commit message	Last commit date
Latest commit History 4,443 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.editor		org.lamport.tla.toolbox.feature.editor
org.lamport.tla.toolbox.feature.help		org.lamport.tla.toolbox.feature.help
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.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.test		org.lamport.tla.toolbox.test
org.lamport.tla.toolbox.tool.prover		org.lamport.tla.toolbox.tool.prover
org.lamport.tla.toolbox.tool.tla2tex.test		org.lamport.tla.toolbox.tool.tla2tex.test
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.yml		.travis.yml
README.md		README.md
foo.txt		foo.txt
pom.xml		pom.xml

samirsahu8/tlaplus

Folders and files

Latest commit

History

Repository files navigation

TLA+

About

Resources

Stars

Watchers

Forks

Languages