microsoft / weak-isolation-mock-dbLinks
In-memory key-value store for testing applications against weak behaviors of a database.
☆11Updated 4 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
- A library for testing concurrent C++ code and deterministically reproducing bugs.☆44Updated 3 years ago
- Verifying concurrent code with layers and movers☆13Updated 5 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…☆234Updated 5 years ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- GPU model checker☆11Updated 6 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated last year
- RV-Monitor core system code☆16Updated 4 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆15Updated 5 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 last month
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆31Updated 4 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 3 years ago
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆80Updated 2 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- Tool to visualize executions of multi-threaded systems☆13Updated 5 years ago
- Linearizability Visualizer☆10Updated 10 years ago
- solver for the reachability modulo theories problem☆62Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Updated 6 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆27Updated last year
- Run TLC in cmd☆15Updated last year
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆55Updated 9 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆148Updated 10 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆81Updated 2 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆88Updated last month
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- ☆37Updated last month
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Cheap: customized heaps for improved application performance.☆28Updated 3 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆91Updated 4 months ago