Meta reading

[lemmy]

EWD998

https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
https://lynshi.github.io/posts/understanding-ewd998/

Recordings Hydra Conf 2021

https://www.youtube.com/watch?v=rBVhDKfg9fQ
https://www.youtube.com/watch?v=N0WOXFWBnhc
https://www.youtube.com/watch?v=Im63Kl3tB2g
https://www.youtube.com/watch?v=FBEviGMuOK8

Teaching TLA+ with EWD998

https://link.springer.com/chapter/10.1007/978-3-031-27534-0_5

Verifying EWD998 with Apalache, TLC, and TLAPS

https://arxiv.org/abs/2211.07216