Repository for TLA+ and PlusCal programs. Presentation Given at Expert-talks 2017 Slides at slideshare Other Code samples on github https://github.com/quux00/PlusCal-Examples https://github.com/belaban/pluscal https://github.com/muratdem/PlusCal-examples https://github.com/duerrfk/skp Discussion forum Google group References Marc Brooker, Exploring TLA+ with two-phase commit Rico, Model checking for the Working Man Ron Pressler Chris Newcombe, Experience of software engineers using TLA+, PlusCal and TLC Brannon Batson, High level specifications: Lessons from Industry Hillel Wayne, Learn TLA+