Geeks
will62794
/
endive
Tool for automatically inferring inductive invariants of distributed protocols.
Primary Language
TLA
endive GitHub
Markdown
Readme
0
Issues
13
Stargazers
4
Watchers
Stargazers
ahelwer
Disjunctive Consulting LLC
ahlinc
Ukraine, Kyiv
dariusf
Singapore
heidihoward
@Microsoft
hengxin
Nanjing University (南京大学)
lemmy
@microsoft
ligurio
minalspatil
Umeå universitet
nikitavoloboev
Madrid
qianpinyi
tangruize
Nanjing University
uguryavuz
Boston University
ZhangJihua0327
Nanjing University