BioDiVinE：一个生物模型并行分析框架
BioDiVinE: A Framework for Parallel Analysis of Biological Models
摘要：
本文提出了一种新的生物模型并行分析工具BioDiVinE。该工具允许分析根据一组化学反应指定的生物模型。将化学反应转化为多仿射微分方程组。BioDiVinE采用连续状态空间的有限离散抽象技术。在该层次上，提供了基于模型检验的并行分析算法。在本文中，关键的工具功能进行了描述，并通过案例研究证明了他们的应用。
英文摘要：
In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
