Here is my experience getting started with TLA+ and using it in my distributed systems class. http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teaching-d

Here is my experience getting started with TLA+ and using it in my distributed systems class. 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-...