KO
|
EN
gitlite — search
Search
#javascript
#python
#hacktoberfest
#react
#ai
#typescript
#llm
#go
#golang
#android
#machine-learning
#rust
#deep-learning
#linux
tlaplus
★ 9
Open GitHub ↗
TLA+ programs
Download README (.md)
Explore Similar Repositories
AsyncEnumerableExtensions
:
Build compatible IAsyncEnumerable<T> implementation with one generator function on both .NET Standard 1.1 and 2.1!
magento2-currency-services
:
Add addition external sources into Magento2 to update our currency rates.
Simple-Multithreaded-TCP-GUI-Chat
:
Simple-Multithreaded-TCP-GUI-Chat
article-jpa-native-query
:
No description available.
Multi-Kinect2-3D-Scanner
:
3D scanner based on Kinect2
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
tlaplus
?
Download (.md)
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/)
