Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David
Year of publication	2008
Type	Article in Proceedings
Conference	Electronic Notes in Theoretical Computer Science
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	genetic regulatory networks; discrete simulation; parallel model checking
Description	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