Markus Alexander Kuppe
Results
3
repositories owned by
Markus Alexander Kuppe
BlockingQueue
482
Stars
20
Forks
Watchers
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
ewd998
40
Stars
13
Forks
Watchers
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
lets-prove-blocking-queue
41
Stars
5
Forks
Watchers
Proving a blocking queue deadlock free in a dozen different ways