Thanks so much for this introduction! For anyone interested, here is a link to Lamport's video introduction to TLA+, which I found really helpful and interestin

Thanks so much for this introduction! For anyone interested, here is a link to Lamport's video introduction to TLA+, which I found really helpful and interesting http://lamport.azurewebsites.net/video/videos.html http://lamport.azurewebsites.net/video/videos.html