parallel robustness analysis

Parasim is a tool for the analysis of the robustness of biochemical reaction systems given as sets of ODEs. For sets of perturbations of their kinetic parameters or initial conditions and temporal properties specified in Signal Temporal Logic (STL) the landscape function of the property's validity over the perturbation set is computed.