Alexander J. Summers

Un nuevo método mejora la confianza en la verificación automatizada de programas.

Un nuevo enfoque mejora la verificación del código Rust que usa mutabilidad interna.

Aprende cómo la verificación de programas asegura la confiabilidad del software en industrias críticas.