1. A method for preparing a software component for verification, the method comprising: receiving the software component, a set of business logic rules, and automotive open system architecture (AUTOSAR) design model, wherein the software component includes one of an application and a runnable entity, and 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, wherein the wrapper program includes automatically generated code that formats inputs and real-time environment (RTE) calls passed to the received software component to conform to interfaces and an architecture described by the received AUTOSAR design model; combining the generated wrapper program with the received software component into a wrapped software component; determining a plurality of inputs for the wrapped software component based on searching the received design model for a code portion indicating proper input behavior; filtering the determined plurality of inputs based on the received set of business logic rules; sending the filtered plurality of inputs and the wrapped software component to a verification tool; and verifying the sent wrapped software component using the verification tool based on inputting the sent filtered plurality of inputs into the sent wrapped software component and analyzing an output.