This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 146-152.
☆17Nov 24, 2017Updated 8 years ago
Alternatives and similar repositories for pingpong
Users that are interested in pingpong are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- David McClain's 'Actors' package for LispWorks☆13Dec 12, 2017Updated 8 years ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 6 years ago
- Extra string functions for OCaml☆22Jul 5, 2025Updated last year
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 7 years ago
- ☆22Jun 28, 2019Updated 7 years ago
- Super low overhead application level metrics☆23Oct 12, 2021Updated 5 years ago
- A File-Based Fully Automatic Lisp Datastructure Serializer / Persistency Manager, Similar to "Pickle" for Python☆16Oct 17, 2026Updated 2 weeks ago
- a flexible, light weight, open source persistence library☆17Mar 30, 2011Updated 15 years ago
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated 2 months ago
- Simple Canary Testing Framework☆18Sep 28, 2018Updated 8 years ago
- ☆33Nov 23, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Nov 18, 2021Updated 4 years ago
- A simple REPL for TLA+.☆42Mar 15, 2024Updated 2 years ago
- ☆11Aug 28, 2015Updated 11 years ago
- Vim filetype for the TLA+ specification language and proofs☆24Jun 25, 2021Updated 5 years ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- A small library for managing sets of JVM properties to configure an app or library.☆14Nov 22, 2021Updated 4 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆49Nov 23, 2019Updated 6 years ago
- Proposal(s) to make EMF polyglot.☆11Feb 26, 2021Updated 5 years ago
- Utility that exposes a Protobuffer Message as a Map☆10Oct 23, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Refinery: an efficient graph solver for generating well-formed models☆23Oct 8, 2026Updated 3 weeks ago
- Educational materials related to the STAMP safety analysis framework.☆22Mar 26, 2019Updated 7 years ago
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- Different TLA+ specifications, mostly for learning purposes☆31May 6, 2024Updated 2 years ago
- Clojure/Kilim integration☆11Nov 7, 2011Updated 14 years ago
- ZF2 Skeleton App: Api client, Apigility, SocialAuth, etc.☆10Dec 10, 2015Updated 10 years ago
- Simple fiber-blocking HTTP/websocket client and server Clojure APIs based on puniverse's Pulsar and Gniazdo☆12Oct 10, 2014Updated 12 years ago
- VSCode IDE Integration for Dafny☆28Aug 5, 2026Updated 3 months ago
- [CIKM 2023] CRUISE search engine for conducting literature reviews☆15Jun 9, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Model-based Demonstrator for Smart and Safe Systems☆16Aug 11, 2019Updated 7 years ago
- A simple and lightweight asynchronous wrapper library for JDBC.☆14Jul 10, 2012Updated 14 years ago
- RxJava bindings for Quasar☆16Jun 25, 2015Updated 11 years ago
- Java Agent Library for All Jillegal Frameworks☆14Dec 7, 2015Updated 10 years ago
- A chat application built with React, Redux and Electron☆10Apr 10, 2016Updated 10 years ago
- Key-value store for temporary items☆19Feb 14, 2018Updated 8 years ago
- Fork of One-JAR from one-jar.sourceforge.net☆12Dec 9, 2011Updated 14 years ago