open-s4c / libvsync
A verified library of synchronization primitives and concurrent data structures
☆17Updated 2 weeks ago
Related projects: ⓘ
- Verification and optimization tool for concurrent code☆15Updated 2 weeks ago
- 项目的主仓库☆22Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆104Updated last week
- https://rs3lab.github.io/SynCord/☆21Updated last year
- Loupe: Syscall Usage Analysis Tool☆23Updated last month
- On-demand-fork☆30Updated last year
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 2 years ago
- ☆44Updated 2 years ago
- ☆31Updated 2 years ago
- A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space☆11Updated this week
- ☆31Updated 3 months ago
- ☆58Updated 2 months ago
- RedLeaf Operating System☆115Updated 2 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆19Updated 2 years ago
- Transparent zero-copy IO☆18Updated 5 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆13Updated this week
- rmem public repo☆40Updated last month
- ☆22Updated last year
- A verification tool for many memory models☆74Updated this week
- Writing a hypervisor in Rust☆10Updated 8 months ago
- A formally verified security module for AMD confidential VMs☆32Updated 3 months ago
- ☆68Updated 11 months ago
- 面向可信执行环境的OS。☆12Updated 2 years ago
- 基于eBPF实现高性能用户态文件系统功能☆11Updated 6 months ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆220Updated this week
- ☆104Updated 2 weeks ago
- LiTL: Library for Transparent Lock Interposition☆75Updated last year
- An RISC-V experimental OS☆23Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆17Updated last month
- Collaborative Parallelization Framework (CPF)☆31Updated last year