¿Por qué podemos demostrar matemáticamente que un programa no tiene ningún bug sin ejecutarlo ni una sola vez? La ciencia de la verificación formal
Tags
2 páginas
Formal-Verification
Teoría de Tipos y el Isomorfismo de Curry-Howard: La Profunda Armonía de Proposiciones = Tipos, Pruebas = Programas
