Which is correct for the following ?

• A. A specification is verifiable if there is a definitive procedure to determine whether it is met
• B. A specification is testable if there is no such definative procedure
• C. All of the mentioned
• D. None of the mentioned