Anton Krbaťa Ján Budáč 10.11.2009 Verification: "Are we building the product right ?„ Validation: "Are we building the right product ?" STATIC – Software…