Slide 19
Slide 19 text
Where can I learn more about this?
More Questions? Visit us at the AMA
● TLA+ Home Page: http://lamport.azurewebsites.net/tla/tla.html
● TLA+ Video Course: http://lamport.azurewebsites.net/video/videos.html
● Introduction to TLA+: https://learntla.com
● Tutorial on Isabelle/HOL: http://isabelle.in.tum.de/doc/tutorial.pdf
● Use of Formal Methods at AWS: http://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
● Formal models of core Elasticsearch algorithms: https://github.com/elastic/elasticsearch-formal-models
● Related talk at 3:30pm (Salon 1-7): Elasticsearch Consensus: The Past, the Present, and the Future