RoVerGeNe

RoVerGeNe: A tool for the Robust Verification of Gene Networks. Rovergene is a tool for the analysis of genetic regulatory networks under parameter uncertainty. Genetic regulatory networks are described by a class of piecewise multiaffine differential equation models, dynamical properties are expressed in linear temporal logic and uncertain parameters are specified by intervals. The tool addresses two problems: robustness analysis: checking whether a dynamical property is satisfied by every parameter in a given set and for every initial state in a given region. The parameter set is then called valid. parameter constraint synthesis: searching for valid subsets of a given parameter set. Rovergene can be used for the analysis of the robustness of dynamical properties of gene networks with respect to parameter variations and for the tuning of synthetic gene networks.