Awesome Open Source
Awesome Open Source

TLC Build Status Toolbox Build Status

For more information, visit


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


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 (31,211
algorithms (455
high-performance (198
verification (81
mit-license (72
tla (19
model-checking (18