FICHA · AUR
verus-bin
Rust verificado para código de sistemas de baixo nível
- verified-rust-toolchain
- Linha de comando
- Desenvolvimento
- Abre direto
- Roda no terminal
· codex · reviewed · 5 de jun. de 2026 descrição em pt-br · fallback
Desenvolve código de sistemas de baixo nível com Verus, uma toolchain Rust orientada a verificação. Desenvolvedores escrevem especificações e provas junto ao código; resultados de verificação dependem de premissas corretas e devem ser revisados antes de uso crítico para segurança.
Como rodar
verus
Comandos: verus
Permissões
Permissões ainda não analisadas para esta fonte.