jackfoxy / SpecifyingSystemsWithContentsLinks
Adding a table of contents to Specifying Systems, TLA+.pdf
☆68Updated 8 years ago
Alternatives and similar repositories for SpecifyingSystemsWithContents
Users that are interested in SpecifyingSystemsWithContents are comparing it to the libraries listed below
Sorting:
- Source Code for 'Practical TLA+' by Hillel Wayne☆296Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 months ago
- Learn TLA+ for free! No prior experience necessary!☆236Updated last month
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Command line binaries for the TLA+ language☆172Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- A TLA+ guide☆278Updated 3 years ago
- Python interpreter for TLA+ specifications☆116Updated last year
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆302Updated 2 weeks ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago
- Mathematical Components (the Book)☆149Updated 4 months ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆62Updated 10 years ago
- The TLA⁺ Proof Manager☆106Updated 3 weeks ago
- TLA+ language support for Visual Studio Code☆402Updated this week
- Kodkod solver for relational logic☆84Updated 2 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- A TLA+ module for animating TLC traces.☆47Updated last year
- TLA+ Foundation☆32Updated 2 months ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 3 years ago
- Guide elucidating Lambda Calculus☆16Updated 4 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated 2 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆110Updated last month
- A tree-sitter grammar for TLA⁺ and PlusCal☆73Updated 2 weeks ago
- A curated list of TLA+ resources.☆164Updated last week
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago