Publication details
Parallel Model Checking Large
-Scale Genetic Regulatory Networks with DiVinE
| Basic information | |
|---|---|
| Original title: | Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE |
| Authors: | Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, David Šafránek |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon : Complex System Research Group, University of Camerino, 2007. pp. 80-95. 2007, Lisbon. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | genetic regulatory networks; discrete simulation; parallel model checking |
Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.
Related projects:
- Techniques for automatic verification and validation of software nad hardware systems
- Highly Parallel and Distributed Computing Systems
