CMBSlib is a library of computational models of biological systems.It is aimed at providing a list of test problems for formalisms, modeling issues and implementation issues in systems biology.The main motivation for CMBSlib is to stimulate research on the formal modeling of biological systems, by facilitating the exchange of formal models between researchers, and by providing a forum of comparison and validation of models, formalisms and implementations.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Fages, François; Soliman, Sylvain: Abstract interpretation and types for systems biology (2008)
- Chabrier-Rivier, Nathalie; Fages, François; Soliman, Sylvain: The biochemical abstract machine BIOCHAM (2005)
- Soliman, Sylvain; Fages, François: CMBSlib: A library for comparing formalisms and models of biological systems (2005)