Verification of High-Level Software Requirements