Una herramienta para verificar formalmente código Rust y comprobar especificaciones en todas las ejecuciones posibles, en lugar de añadir comprobaciones en tiempo de ejecución.
Herramientas para desarrolladores#formal-verification#rust#specification#static-analysis#systems-programming
3,4 mil239RustMITActualizado hace 6 horas