“Software is like a science. We show correctness by failing to prove incorrectness, despite our best efforts.” — Robert C Martin Copy Share Image
