USING VALIDATION AND VERIFICATION TECHNIQUES FOR ROBUST PLAN EXECUTION