The process of software validation includes reasoning about (the correctness of) programs,
whether formally—a process that is termed verification—or informally, and testing programs …