< Back to Article

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Fig 3

Summary of the features for the selected tools.

Tools are classified by the supported computational modeling language, their execution semantics, and the formal analysis that can be performed, based on the literature.

doi: https://doi.org/10.1371/journal.pcbi.1004591.g003