1. A method for preparing a software component for verification, the method comprising: receiving the software component and a design model; 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; and sending the determined plurality of inputs and the received software component with associated wrapper program to a verification tool.