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…☆136Updated 3 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆222Updated 6 months ago
- Python interpreter for TLA+ specifications☆113Updated last year
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- ☆34Updated 4 years ago
- TLA+ Foundation☆31Updated last week
- Kodkod solver for relational logic☆78Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆103Updated 2 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- The TLA⁺ Proof Manager☆95Updated this week
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆138Updated 7 years 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 …☆47Updated 2 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 10 months ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last week
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Command line binaries for the TLA+ language☆170Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- Development of the CafeOBJ interpreter☆36Updated 10 months ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- Mathematical Components (the Book)☆147Updated 2 weeks ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago