Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ewd998

Distributed termination detection on a ring, due to Shmuel Safra:
Stars
41
License
mit
Open Issues
11
Most Recent Commit
9 months ago
Programming Language
TLA
Categories
Site
Repo
Alternatives To Ewd998
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Ewd99841
a year ago1mitTLA
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
Ewd99841
9 months ago11mitTLA
Distributed termination detection on a ring, due to Shmuel Safra:
Tlaplus At Nju Disalg9
2 years ago13gpl-3.0TeX
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Alternatives To Ewd998
Select To Compare


Suggest An Alternative To ewd998
Alternative Project Comparisons
Ewd998 vs Tlaplus At Nju Disalg
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular Theorem Proving Projects
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
Tla Tlaplus
Tla Model Checking
Model Checking Tlaplus
Safety Model Checking
Tla Theorem Proving
Tla Refinement
Safety Liveness
Model Checking Theorem Proving
Model Checking Liveness
Theorem Proving Tlaplus

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Model Checking
Theorem Proving
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.