A data source, such as a database, is modeled using state variables, state, and actions performed on the data source. State variable queries may be automatically generated by generating queries or functions based on intercepting data queries to a data source and using the intercepted data query language. State variable queries may automatically inspect data objects within the data store and automatically generate state variable values. The state variable queries or functions may be executed automatically after an action is run against a data source such that state information is automatically determined. Further, a graphical user interface used to modify, add and delete state information and automatic state variable queries associated with the verification model is described.