The “Shift Left” paradigm captures well the concept of starting verification as early as possible. The TVS approach to “Requirements Driven Verification” incorporates this by trying to derive test plans as early as possible and linking them to requirements.

Another approach that supports “shift left” is static and formal because of the ability to analyse code earlier. In this article, Pranav Ashar, CTO of Real Intent Inc., discusses how formal can attack issues such as CDC and X-safety verification much earlier in the development process.

Read more.