1. A computing system comprising one or more computing nodes and one or more data stores in communication with the one or more computing nodes, the one or more data stores having stored thereon: a constraint data store storing thereon one or more constraints indicative of predetermined application program conditions; and computer instructions that, upon execution by the one or more computing nodes, at least cause the computing system to: receive an application program for execution in a distributed computing environment; divide the application program into a plurality of components that are executable as independent processes in accordance with the one or more constraints; instantiate a plurality of virtual machines and execute the plurality of independently executable components in the plurality of virtual machines; generate condition variables based on execution of the components; in response to a determination that application program data is to be communicated between at least two of the components: generate data path information for the application program data; aggregate application program data from multiple communication events and combine respective condition variable and data path information; generate a single data packet that encapsulates the aggregated application program data along with associated condition variables and the data path information; and send the single data packet to a destination virtual machine for the data packet; and verify a runtime property of the application program by using the aggregated application program data to represent code execution paths of the application program.