verus-lang / verusfmtLinks
An Opinionated Formatter for Verus
☆11Updated last month
Alternatives and similar repositories for verusfmt
Users that are interested in verusfmt are comparing it to the libraries listed below
Sorting:
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆22Updated this week
- ☆34Updated this week
- A memory allocator verified with Verus☆22Updated 2 weeks ago
- ☆17Updated 2 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆13Updated 10 months ago
- RustHorn: A CHC-based automated verifier for Rust☆83Updated 2 months ago
- Interface with the rustc compiler for the purpose of program verification☆148Updated this week
- ☆18Updated last week
- SymDiff-Differential-Program-Verifier☆34Updated 2 weeks ago
- A community preview of ongoing formal verification efforts for Asterinas☆19Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆105Updated this week
- The Gillian Platform main repository☆85Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated last year
- PC-miner tool for program chairs☆27Updated 2 months ago
- ☆51Updated 6 months ago
- Course website for Systems Verification Fall 2024☆11Updated 2 weeks ago
- A randomized program fuzzer for the Rust programming language☆64Updated last year
- An automated deductive program verifier based on concurrent separation logic☆16Updated this week
- Public-facing course info for program analysis materials.☆41Updated 5 months ago
- ☆13Updated 5 months ago
- Storage systems with verified correctness properties☆47Updated last month
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- Cerberus C semantics☆61Updated last week
- Tool for automatically inferring inductive invariants of distributed protocols.☆18Updated 7 months ago
- Lean models of Rust libraries☆13Updated 8 months ago
- Language models for Coq based on data collected from the coq lsp.☆16Updated last week
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 3 months ago
- Compositional Verification of Composite Byzantine Protocols☆12Updated 9 months ago