Comment by GolDDranks

Test verify that the code works on specific inputs. Formal verification checks that it works on every input.