Verification:
(A) refers to the set of activities that ensure that software correctly implements a specific function
(B) gives answer to the question – Are we building the product right?
(C) requires execution of software

Explanation

Boehm's classic pair of questions defines verification as "Are we building the product right?" and validation as "Are we building the right product?", so (B) is true, and Pressman's definition of verification as the set of activities ensuring the software correctly implements a specific function makes (A) true as well. (C) is false: verification is largely static — reviews, inspections, walkthroughs and desk checking of documents and code — and does not require the software to be executed, whereas validation is dynamic and does. Therefore the correct choice is both (A) and (B).