microsoft / weak-isolation-mock-dbLinks
In-memory key-value store for testing applications against weak behaviors of a database.
☆11Updated 5 years ago
Alternatives and similar repositories for weak-isolation-mock-db
Users that are interested in weak-isolation-mock-db are comparing it to the libraries listed below
Sorting:
- Sample EVM application for CCF☆14Updated 4 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Updated 3 years ago
- VeriBetrKV OSDI'20 artifact☆13Updated 5 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Updated last year
- Verifying concurrent code with layers and movers☆13Updated 5 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Updated last year
- A library for testing concurrent C++ code and deterministically reproducing bugs.☆44Updated 3 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆15Updated 5 years ago
- Generic model checker for concurrent C programs (mirror repository)☆190Updated 2 months ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated 3 weeks ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆236Updated 5 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated last year
- This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…☆15Updated 3 years ago
- rmem public repo☆49Updated 8 months ago
- Linear algebra subroutines for large SSD-resident dense and sparse matrices☆29Updated 5 years ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Updated 2 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Updated 7 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated 2 weeks ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- ☆30Updated last year
- Storage systems with verified correctness properties☆59Updated this week
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- Azure Cosmos TLA+ specifications☆293Updated 2 years ago
- Parallel Algorithm Scheduling Library☆105Updated 8 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- A false sharing detection and repair tool☆14Updated last week
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Updated 2 years ago