BioDiVinE: A Framework for Parallel Analysis of Biological Models

Details BioDiVinE: A Framework for Parallel Analysis of Biological Models BioDiVinE: A Framework for Parallel Analysis of Biological Models

2009-10-06

arxiv.org/abs/0910.0928v1

EPTCS 6, 2009, pp. 31-45

Computer Science

Computational Engineering, Finance, and Science

Scientific paper

10.4204/EPTCS.6.3

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.

Affiliated with

Also associated with

No associations

Rating

BioDiVinE: A Framework for Parallel Analysis of Biological Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with BioDiVinE: A Framework for Parallel Analysis of Biological Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and BioDiVinE: A Framework for Parallel Analysis of Biological Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-357396