tlaplus

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

(★ 9)

TLA+ programs

tlaplus 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

Repository for TLA+ and PlusCal programs.

# Presentation

Given at [Expert-talks 2017](https://expert-talks.in/)

Slides at [slideshare](https://www.slideshare.net/SandeepJoshi55/doveryai-no-proveryai-introduction-to-tla)

# 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](https://groups.google.com/forum/#!forum/tlaplus)

# References

1. [Marc Brooker, Exploring TLA+ with two-phase commit](http://brooker.co.za/blog/2013/01/20/two-phase.html)
2. [Rico, Model checking for the Working Man](https://rix0r.nl/essays/2015/08/25/model-checking-for-the-working-man-mf/)
3. [Ron Pressler](https://pron.github.io/)
4. [Chris Newcombe, Experience of software engineers using TLA+, PlusCal and TLC](http://tla2012.loria.fr/contributed/newcombe-slides.pdf)
5. [Brannon Batson, High level specifications: Lessons from Industry](https://www.microsoft.com/en-us/research/publication/high-level-specifications-lessons-from-industry/)
6. [Hillel Wayne, Learn TLA+](https://www.learntla.com/introduction/)

tlaplus

tlaplus 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

tlaplus

tlaplus 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README