Por que podemos provar matematicamente que um programa é 100% livre de bugs sem executá-lo nem uma única vez? A ciência da verificação formal
Tags
2 páginas
Formal-Verification
Teoria dos Tipos e Isomorfismo de Curry-Howard: A Profunda Harmonia onde Proposições = Tipos e Provas = Programas
