VeriBetrKV OSDI'20 artifact
☆13Sep 5, 2020Updated 6 years ago
Alternatives and similar repositories for veribetrkv-osdi2020
Users that are interested in veribetrkv-osdi2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated 2 years ago
- A verified high-performance file system☆42Jun 30, 2025Updated last year
- Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.☆12May 1, 2025Updated last year
- SOSP'21 Witcher Artifact☆10Aug 19, 2021Updated 5 years ago
- ☆13Apr 28, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ferrite, a toolkit for developing file system crash-consistency models☆21Sep 2, 2016Updated 10 years ago
- Getting started with TypeScript and mocha☆10Jul 28, 2015Updated 11 years ago
- A Filesystem Semi-Microkernel.☆48Oct 24, 2023Updated 3 years ago
- generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urnsediva-356745☆14Jun 7, 2026Updated 4 months ago
- ☆38Apr 15, 2022Updated 4 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Jun 19, 2024Updated 2 years ago
- ☆14Nov 19, 2024Updated last year
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 9 years ago
- ☆14Mar 1, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated 2 years ago
- ☆13Mar 10, 2026Updated 7 months ago
- ☆17Updated this week
- guarded interaction trees☆14Jul 6, 2026Updated 4 months ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- ☆136Aug 24, 2026Updated 2 months ago
- ☆11Aug 16, 2016Updated 10 years ago
- ☆17Apr 6, 2026Updated 7 months ago
- In-game overlay Flash timer for popular game League of Legends.☆11Aug 7, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 7 years ago
- ☆24Oct 6, 2026Updated last month
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 3 months ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- Hanoi tower in Coq☆26Oct 28, 2026Updated last week
- Various finite representations of large or infinite sets and associated primitive functions☆12Nov 23, 2018Updated 7 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- DafnyBench: A Benchmark for Formal Software Verification☆69Dec 12, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 9 years ago
- A "phase-fair" reader-writer spinlock☆11Jan 30, 2023Updated 3 years ago
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 5 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆272Jun 3, 2023Updated 3 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆13Jan 21, 2025Updated last year
- or, Lisp: the MUD☆18Apr 4, 2013Updated 13 years ago
- 📝 A Rocq library written by members of PnV Discord Server☆19Sep 17, 2026Updated last month