Section: Software
SBMC, systems biology model-checker
Participant : Szymon Stoma.
Systems Biology Model Checker (SBMC) is a webservice allowing to verify biological models (e.g. signaling pathways stored in SBML files) against their specifications given in Signal Temporal Logics (STL). This project aims at providing to a large audience the methods described in [21] and used to analyse extrensic apoptosis pathway. Project webpage is: SBMC .