Abstract Interpretation Based Verification of Non-Functional Requirements