No, with given of defined inputs and condition, you can mathematically show a part of section bug-free, i can't remember the detail, but back then we were using mathlab polyspace to prove that.
That means knowing how output looklike with given input is important.
That means knowing how output looklike with given input is important.