Tutorial at TLA+ Community Meeting 2024
Giving a talk on my home turf...
It was my pleasure to talk about the improvements and practical applications of Apalache. As always, catching up with Stephan Merz and Giuliano Losa was insightful!
Since the community meeting was co-located with 26th international Symposium on Formal Methods, it was held completely offline. Hence, no recording is available. You can check my slides.
This post is licensed under CC BY 4.0 by the author.