Section: New Software and Platforms

OPENKAPPA

La platte-forme de modélisation OpenKappa

Keywords: Model reduction - Simulation - Static analysis - Modeling - Systems Biology

Scientific Description: OpenKappa is a collection of tools to build, debug and run models of biological pathways. It contains a compiler for the Kappa Language, a static analyzer (for debugging models), a simulator, a compression tool for causal traces, and a model reduction tool.

• Participants: Jean Krivine, Jérôme Feret, Kim Quyen Ly, Pierre Boutillier, Russ Harmer, Vincent Danos and Walter Fontana

• Partners: ENS Lyon - Université Paris-Diderot - HARVARD Medical School

• Contact: Jérôme Feret

• URL: http://www.kappalanguage.org/