Biodivine

In our research we want to come up with practical solutions and tooling to address the needs of current systems biology. BIODIVINE is a tool set created for computer aided analysis of biochemical systems. It is an evolutionary branch of the DiVinE parallel verification tool. Our slogan is "divine analysis for everyone".

BIODIVINE TOOLS

BIODIVINE/PITHYA

parameter synthesis for biochemical systems

BIODIVINE/PARASIM

robustness analysis of biochemical systems

BIODIVINE/BCSGEN

biochemical space language software tool

currently not available

BIODIVINE/ESTHER

discrete simulation a reverse-engineering of gene regulatory networks

Top