Why this is not shift-left validation and not formal methods, and why the distinction is not academicContinue reading on Medium »