1. A computer system including instructions stored on a computer-readable medium, the computer system comprising: a selector configured to receive a selection of a function, wherein an execution of the function yields one or more results for verification; an input handler configured to receive values corresponding to one or more inputs to the function; a step engine configured to determine a plurality of steps associated with an execution of the function; an execution engine configured to execute the function, including the plurality of steps, based on the values provided as the one or more inputs; and a view generator configured to provide the plurality of steps of the function in association with the values and one or more results of the execution for the verification.