4 ms·
Related: Verus (verified Rust): https://github.com/verus-lang/verus https://github.com/verus-lang/verus It's aimed more at full systems verification (been used
by lsuresh 2y ago
Related: Verus (verified Rust): https://github.com/verus-lang/verus https://github.com/verus-lang/verus
It's aimed more at full systems verification (been used to build verified filesystems, kubernetes controllers etc...).