microsoft / verona-rtLinks
The runtime for the Verona project
☆37Updated 2 months ago
Alternatives and similar repositories for verona-rt
Users that are interested in verona-rt are comparing it to the libraries listed below
Sorting:
- Verifying concurrent storage and distributed systems☆210Updated this week
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- A term rewriting system for experimental programming language development.☆48Updated 3 weeks ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆299Updated 2 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…☆101Updated 3 weeks ago
- A memory allocator verified with Verus☆26Updated last week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆125Updated last week
- A verifier for automated and interactive proofs about transition systems.☆170Updated last month
- Rewrite Rule Inference Using Equality Saturation☆148Updated 6 months ago
- CN separation logic refinement type system for C☆43Updated last week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆42Updated last year
- What makes Paxos tick?☆11Updated 8 months ago
- Course website for Systems Verification Fall 2024☆13Updated 5 months ago
- Definition of the Viper intermediate verification language.☆92Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- An awesome list of e-graph resources☆272Updated 2 weeks ago
- Wasm SpecTec specification tools☆81Updated 2 weeks ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- Azure Cosmos TLA+ specifications☆22Updated 11 months ago
- Interface with the rustc compiler for the purpose of program verification☆257Updated 2 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated last month
- Session Type EDSL for Rust☆103Updated 3 years ago
- world's worst interpreter☆66Updated 8 months ago
- An Opinionated Formatter for Verus☆14Updated 3 weeks ago
- RustHorn: A CHC-based automated verifier for Rust☆89Updated 9 months ago
- ☆33Updated 3 years ago
- ☆194Updated last week