Skip to content

sanjosh/tlaplus

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
amazon
amazon
 
 
pluscal
pluscal
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 

Repository files navigation

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+

About

TLA+ programs

Topics

tlaplus-lamport pluscal

Resources

Readme

License

Apache-2.0 license
Activity

Stars

9 stars

Watchers

3 watching

Forks

3 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages