My review and experience of using TLA+ in distributed systems class are in the below posts: http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teaching-dist

My review and experience of using TLA+ in distributed systems class are in the below posts: http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teaching-distributed.html http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teach... http://muratbuffalo.blogspot.com/2015/01/my-experience-with-using-tla-in.html http://muratbuffalo.blogspot.com/2015/01/my-experience-with-...