/tlaplus

TLA+ programs

Primary LanguageTLAApache License 2.0Apache-2.0

Repository for TLA+ and PlusCal programs.

Presentation

Given at Expert-talks 2017

Slides at slideshare

Other Code samples on github

  1. https://github.com/quux00/PlusCal-Examples
  2. https://github.com/belaban/pluscal
  3. https://github.com/muratdem/PlusCal-examples
  4. https://github.com/duerrfk/skp

Discussion forum

  1. Google group

References

  1. Marc Brooker, Exploring TLA+ with two-phase commit
  2. Rico, Model checking for the Working Man
  3. Ron Pressler
  4. Chris Newcombe, Experience of software engineers using TLA+, PlusCal and TLC
  5. Brannon Batson, High level specifications: Lessons from Industry
  6. Hillel Wayne, Learn TLA+