A short overview of Requirements Based Verification as presented at ClubT 2008 in Bristol. ( David Robinson )