1. A method for preparing a software component for verification, the method comprising: receiving the software component, a set of business logic rules, and a design model, wherein the received set of business logic rules includes constraints originating from (i) application logic including application-specific behavior of inputs and (ii) verification needs including limitations based on current verification interests; generating a wrapper program based on the received software component and the received design model; associating the received software component with the generated wrapper program; determining a plurality of inputs for the received software component based on the received design model; filtering the determined plurality of inputs for the received software component based on the received set of business logic rules; sending the filtered plurality of inputs and the received software component with the associated wrapper program to a generic verification tool; and verifying the received software component using the generic verification tool based on inputting the sent filtered plurality of inputs for the received software component into the associated wrapper program and analyzing an output.