4 results found Sort:

ultimate-pa
ultimate ultimate-pa
41
199
unknown
31
The Ultimate program analysis framework.
ltl automata termination reachability model-checking program-analysis software-analysis
Created 2015-09-10
29,720 commits to dev branch, last one 12 hours ago
GoogleCloudPlatform
k8s-node-termination-handler GoogleCloudPlatform
54
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
groupoid
henk.ex groupoid
16
143
other
21
🧊 Чиста система з всесвітами
pts pure erlang lambda-cube termination
Created 2013-07-28
54 commits to main branch, last one 4 months ago
tlaplus-workshops
ewd998 tlaplus-workshops
47
50
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 2 months ago