formal-methods

2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties
2023-08-03 Verus: A tool for verified systems code in Rust
2023-07-25 Provably-Safe Sandboxing with WebAssembly