Patent Document ID: 9710750
Application ID: 14278268
Patent Flag: 1

Claim One:
1. One or more non-transitory computer-readable storage media storing instructions, the instructions comprising: one or more instructions, that when executed by one or more processors, of a group of processors included in a distributed computing environment, cause at least one of the one or more processors to: receive information related to a condition associated with accessing a data store during an execution of a model, the condition including one or more of: first data being written to the data store prior to second data being read from the data store, third data being read from the data store prior to fourth data being written to the data store, or fifth data being written to the data store after sixth data is written to the data store; perform an approximation of a functionality in the model; determine whether the condition is satisfied based on performing the approximation of the functionality; and generate a result, the result indicating whether the condition is satisfied.