BioDiVinE: A Framework for Parallel Analysis of Biological Models
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 tec...
Main Authors: | David Šafránek, Jan Láník, Jana Fabriková, Sven Dražan, Ivana Černá, Luboš Brim, Jiří Barnat, Hongwu Ma |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2009-10-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/0910.0928v1 |
Similar Items
-
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
by: Jiří Barnat, et al.
Published: (2009-12-01) -
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
by: L. Brim, et al.
Published: (2011-09-01) -
Robustness analysis of stochastic biochemical systems.
by: Milan Ceska, et al.
Published: (2014-01-01) -
Computing Optimal Cycle Mean in Parallel on CUDA
by: Jiří Barnat, et al.
Published: (2011-10-01) -
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
by: Luboš Brim, et al.
Published: (2011-10-01)