github.com/kaisenlinux/docker.io@v0.0.0-20230510090727-ea55db55fac7/swarmkit/design/tla/README.md (about)

     1  This directory contains documentation for SwarmKit using [TLA+][] notation.
     2  
     3  Run `make pdfs` to render these documents as PDF files.
     4  The best one to start with is `SwarmKit.pdf`, which introduces the TLA+ notation
     5  and describes the overall components of SwarmKit.
     6  
     7  The specifications can also be executed by the TLC model checker to help find
     8  mistakes. Use `make check` to run the checks.
     9  
    10  If you want to edit these specifications, you will probably want to use the [TLA+ Toolbox][],
    11  which provides a GUI.
    12  
    13  [TLA+]: https://en.wikipedia.org/wiki/TLA%2B
    14  [TLA+ Toolbox]: http://lamport.azurewebsites.net/tla/toolbox.html