1. A stochastic computational model parameter synthesis system comprising at least one processor capable of executing processor executable code, and a non-transitory computer memory operably coupled with the at least one processor and storing processor executable code, which when executed by the at least one processor, causes the at least one processor to create at least one synthesized parameter value of a stochastic computational model to satisfy one or more behavioral specifications of properties observed in a modeled system by: receiving a first input signal from a user over a network interface, the first input signal indicative of the stochastic computational model to be carried out by the at least one processor, the stochastic computational model having n parameters in a first parameter space, the first parameter space being n-dimensional; receiving a second input signal indicative of at least one behavioral specification corresponding to at least one property observed in the modeled system; receiving a third input signal from the user over a network interface, the third input signal indicating a minimum probability with which the stochastic computational model must satisfy the at least one behavioral specification; generating one or more second parameter space having d parameters from the first parameter space having n parameters where d is less than n, the one or more second parameter space being d-dimensional; generating one or more randomized projections of the first parameter space into the one or more second parameter space, the randomized projections probabilistically associated with n+1 linearly independent anchor points in the first parameter space; searching the one or more second parameter space by exhaustively searching discretized points corresponding to at least one parameter value in the one or more second parameter space to identify the discretized point with a highest probability of satisfying the at least one behavioral specification; wherein the one or more randomized projections preserve a distance between the n+1 linearly independent anchor points in the first parameter space and the discretized point corresponding to the at least one parameter value with the highest probability of satisfying the at least one behavioral specification in the one or more second abstract parameter space; verifying that the probability of the discretized point with the highest probability of satisfying the at least one behavioral specification is at least equal to or greater than the minimum probability input by the user; creating the at least one synthesized parameter value in the first parameter space from the verified discretized point in the second parameter space to satisfy the one or more behavioral specifications observed in the modeled system.