Section: Software and Platforms

Platform

Our tools are based on formal systems. They aim at guiding the user to progressively reduce the space of models (gene or protein families, set of main actors involved in a system response, dynamical models) which are compatible with both knowledge and experimental observations. Most of our tools are available both as stand-alone software and through portals such as Mobyle or Galaxy interfaces. Tools are developed in collaboration with the GenOuest resource and data center hosted in the IRISA laboratory, including their computer facilities [more info] . .