microsoft / weak-isolation-mock-db
In-memory key-value store for testing applications against weak behaviors of a database.
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for weak-isolation-mock-db
- Sample EVM application for CCF☆13Updated 3 years ago
- Scalable runtime verification of distributed middleboxes with Aaragog (OSDI 2020)☆11Updated 4 years ago
- Storage systems with verified correctness properties☆29Updated this week
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- Template repository for CCF apps☆13Updated 3 months ago
- Core codebase of ElectionGuard 2.0☆12Updated 2 months ago
- Terraform Script for - Storage, container and data life cycle rules creation at scale☆10Updated last year
- A complete workshop content with a series of tracks and hands-on labs on various techniques to protect data in use.☆12Updated 4 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 5 months ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆12Updated 2 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆22Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆225Updated 3 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆13Updated 3 years ago
- solver for the reachability modulo theories problem☆58Updated last year
- A library for testing concurrent C++ code and deterministically reproducing bugs.☆43Updated 2 years ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆79Updated last year
- Distributed termination detection on a ring, due to Shmuel Safra:☆50Updated 2 months ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆13Updated last month
- Contains all packages for running ConversationLearner bots.☆13Updated 2 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- RV-Monitor core system code☆16Updated 3 years ago
- ☆9Updated 8 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…☆83Updated last week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Sample code showcasing how to use the Skype Interviews API☆12Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated last month
- Sample applications for the Confidential Consortium Framework (CCF)☆14Updated last week
- Peregrine is a workload optimization platform for cloud query engines. The goal of Peregrine is three-fold: 1. make it easier to ingest a…☆22Updated 4 years ago