iCaspar David Friedrich, Viajante sobre o mar de névoa, c. 1818Mais recente · 3 min
Verificação do programa: testes de software e Tripla de Hoare
Como testes e demonstração de correção se complementam na verificação de programas, com exemplos da Tripla de Hoare em Go.
Wenderson Melo