Ferramenta para verificar formalmente código Rust, checando especificações em todas as execuções possíveis, sem adicionar verificações em tempo de execução.
Ferramentas para desenvolvedores#formal-verification#rust#specification#static-analysis#systems-programming
3,4 mil239RustMITAtualizado há 6 horas