16. The non-transitory computer-readable storage medium of claim 14 , wherein the concurrency bug comprises a data race, and wherein the trace property comprises a conflicting operation pair of events from different threads being executed in succession.
16. The non-transitory computer-readable storage medium of claim 14 , wherein the concurrency bug comprises a data race, and wherein the trace property comprises a conflicting operation pair of events from different threads being executed in succession. 17. The non-transitory computer-readable storage medium of claim 16 , wherein the formula encodes all feasible traces corresponding to each respective of a plurality of data races.