GitHub - defo10/tlaplus: TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. · GitHub

Repository navigation

tlaplus

Public

forked from tlaplus/tlaplus

About

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

lamport.azurewebsites.net/tla/tla.html

Code of conduct

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github		.github
general		general
tlatools		tlatools
toolbox		toolbox
.gitignore		.gitignore
.jenkins.groovy		.jenkins.groovy
CONTRIBUTING.md		CONTRIBUTING.md
DEVELOPING.md		DEVELOPING.md
LICENSE		LICENSE
README.md		README.md
keystore		keystore
pom.xml		pom.xml

Repository files navigation

For more information, visit http://lamport.azurewebsites.net/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-2020 Microsoft Corporation

Licensed under the MIT License

About

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

lamport.azurewebsites.net/tla/tla.html

Code of conduct

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages