tla/reference.tex at master · codemonkeyricky/tla · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
\chapter{Reference}

\begin{thebibliography}{9}

\bibitem{ss}
Specifying Systems,
https://lamport.azurewebsites.net/tla/book.html

\bibitem{hyper}
Verifying Hyperproperties with TLA,
https://lamport.azurewebsites.net/pubs/hyper2.pdf

\bibitem{toolbox}
TLA Toolbox,
https://github.com/tlaplus/tlaplus

\bibitem{tla_comm}
TLA+ Community Modules,
https://github.com/tlaplus/CommunityModules

\bibitem{}
Fairness in TLA+,
https://sriku.org/posts/fairness-in-tlaplus/
% \bibitem{}
% https://www.cds.caltech.edu/~murray/courses/afrl-sp12/L3_ltl-24Apr12.pdf
% Richard M. Murray, Nok Wongpiromsarn
% \textit{Linear Temporal Logic, Lecture 3}, 2012

\bibitem{backblaze}
Backblaze Durability Calculates at 99.999999999\% — And Why It Doesn’t Matter,
https://www.backblaze.com/blog/cloud-storage-durability/

\bibitem{raft}
In Search of an Understandable Consensus Algorithm,
https://raft.github.io/raft.pdf

\bibitem{raft_tla}
raft.tla,
https://github.com/ongardie/raft.tla

\bibitem{finite}
Wrangling monotonic systems in TLA+,
https://ahelwer.ca/post/2023-11-01-tla-finite-monotonic/

\bibitem{c10k}
C10k problem,
https://en.wikipedia.org/wiki/C10k\_problem

\bibitem{dining}
Dining Philosophers,
https://en.wikipedia.org/wiki/Dining\_philosophers\_problem

\bibitem{gpu_scc}
A GPU Algorithm for Detecting Strongly Connected Components,
https://userweb.cs.txstate.edu/~mb92/papers/sc23c.pdf

\bibitem{}
Keynote Fifteen years of formal methods at AWS,
https://www.youtube.com/watch?v=HxP4wi4DhA0

\bibitem{aws_bug}
How Amazon Web Services Uses Formal Methods,
https://cacm.acm.org/research/how-amazon-web-services-uses-formal-methods/

\end{thebibliography}