4 results found Sort:

GoogleCloudPlatform
k8s-node-termination-handler GoogleCloudPlatform
56
193
apache-2.0
30
A solution to gracefully handle GCE VM terminations in kubernetes clusters
gce gke node kubernetes termination
This repository has been archived (exclude archived)
Created 2018-05-26
34 commits to master branch, last one 3 years ago
ultimate-pa
ultimate ultimate-pa
40
189
unknown
33
The Ultimate program analysis framework.
ltl automata termination reachability model-checking program-analysis software-analysis
Created 2015-09-10
28,634 commits to dev branch, last one 4 days ago
groupoid
henk groupoid
20
144
other
21
🧊 Чиста система з всесвітами
pts pure erlang lambda-cube termination
Created 2013-07-28
54 commits to main branch, last one 2 days ago
tlaplus-workshops
ewd998 tlaplus-workshops
48
46
mit
67
Distributed termination detection on a ring, due to Shmuel Safra:
specs safety distsys tlaplus liveness detection refinement termination model-checking theorem-proving
Created 2021-09-20
102 commits to main branch, last one 11 months ago