pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/tlaplus

tylesheet" href="https://github.githubassets.com/assets/primer-ee6184595cc59cb2.css" /> TLA+ · GitHub
Skip to content
@tlaplus

TLA+

TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.

Pinned Loading

  1. tlaplus tlaplus Public

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    Java 2.6k 238

  2. Examples Examples Public

    A collection of TLA⁺ specifications of varying complexities.

    TLA 1.5k 214

  3. DrTLAPlus DrTLAPlus Public

    Dr. TLA+ series - learn an algorithm and protocol, study a specification

    TLA 848 99

  4. vscode-tlaplus vscode-tlaplus Public

    TLA+ language support for Visual Studio Code

    TypeScript 405 44

  5. CommunityModules CommunityModules Public

    TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

    TLA 302 45

  6. tlapm tlapm Public

    The TLA⁺ Proof Manager

    OCaml 108 29

Repositories

Showing 10 of 24 repositories
View all repositories

Most used topics

Loading…
pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.




Check this box to remove all script contents from the fetched content.



Check this box to remove all images from the fetched content.


Check this box to remove all CSS styles from the fetched content.


Check this box to keep images inefficiently compressed and original size.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy