Question

É possível provar que um componente de software e até ,mesmo um programa inteiro está correto, então porque tudo mundo não faz isso?

Answer 1

não é possivel pois não se pode falar que uma coisa é correta sendo que não foi voce quem criou ela, e porque chamam o correto de correto e nao de incorreto?