jackfoxy / SpecifyingSystemsWithContentsLinks
Adding a table of contents to Specifying Systems, TLA+.pdf
☆66Updated 7 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☆292Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated last month
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆218Updated 4 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- A TLA+ guide☆279Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- ☆34Updated 4 years ago
- Mathematical Components (the Book)☆146Updated last year
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- TLA+ language support for Visual Studio Code☆386Updated last week
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- The TLA⁺ Proof Manager☆82Updated this week
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆135Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Command line binaries for the TLA+ language☆169Updated 2 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 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
- TLA+ Foundation☆30Updated 2 weeks ago
- Code for http://oilshell.org/blog/☆50Updated last month
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated this week
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- Build Systems à la Carte☆253Updated last year
- Python interpreter for TLA+ specifications☆113Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year