Awesome Open Source
Awesome Open Source

TLC Build Status Toolbox Build Status

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


Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
java (28,865
algorithms (344
high-performance (169
verification (75
mit-license (62
tla (18
model-checking (17

Find Open Source By Browsing 7,000 Topics Across 59 Categories