ewd998 icon indicating copy to clipboard operation
ewd998 copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus-workshops

Meta reading

Open lemmy opened this issue 1 year ago • 0 comments

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

lemmy avatar Jun 21 '23 16:06 lemmy