Before revision:  We combine the differential equation model of the moment dynamics with a so-called moment condition to derive linear matrix inequalities that the moments of molecular copy numbers must satisfy . Using these conditions, we formulate a semidefinite program that efficiently and rigorously computes the bounds of transient moment dynamics.
After revision:  We combine the differential equation model of the moment dynamics with a so-called moment condition to narrow the feasible set of the variables in the equation . Using these conditions, we formulate a semidefinite program that efficiently and rigorously computes the bounds of transient moment dynamics.