kaist-plrg / concrat
Concurrent-C to Rust Automatic Translator
☆15Updated 2 years ago
Alternatives and similar repositories for concrat:
Users that are interested in concrat are comparing it to the libraries listed below
- ☆19Updated last week
- ☆19Updated last month
- ☆54Updated 2 years ago
- Interface with the rustc compiler for the purpose of program verification☆115Updated this week
- A tool for synthesis of Rust code, very early prototype☆12Updated last year
- A randomized program fuzzer for the Rust programming language☆63Updated last year
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆93Updated this week
- Apron Numerical Abstract Domain Library☆121Updated last month
- ANTLR SMT-LIB v2 Grammar☆22Updated 3 years ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- ☆144Updated 8 months ago
- A unification-based alias analysis and related tools☆9Updated 2 months ago
- Thesis code☆26Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆74Updated 2 weeks ago
- A framework for testing compilers' type checkers☆17Updated 3 months ago
- ☆40Updated 2 months ago
- Public-facing course info for program analysis materials.☆39Updated 2 months ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 4 months ago
- A translation validation framework for MLIR☆80Updated 3 months ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- ☆30Updated 3 months ago
- Teaching and Learning Software Verification via SVF☆33Updated this week
- A library for building abstract interpretation-based analyses☆236Updated 3 months ago
- A practical fuzzing tool for SMT solvers☆11Updated 6 months ago
- ☆12Updated last year
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 10 months ago
- ☆20Updated 5 years ago
- A curated list of awesome Rust checkers☆26Updated 2 weeks ago
- Lean models of Rust libraries☆12Updated 5 months ago