TY - JOUR
AU - Chaouiya, Claudine
AB - [The logical framework allows for the qualitative analysis of complex regulatory networks that control cellular processes. However, the study of large models is still hampered by the combinatorial explosion of the number of states. In this manuscript we present our work to analyse logical models of regulatory networks using model checking techniques.We propose a symbolic encoding (using NuSMV) of logical regulatory graphs, also considering priority classes. To achieve a reduction of the state space, we further label the transitions with the values of the input components. This encoding has been implemented in the form of an export facility in GINsim, a software dedicated to logical models. The potential of our symbolic encoding is illustrated through the analysis of the segment-polarity module of the Drosophila embryo segmentation.]
TI - 6th International Conference on Practical Applications of Computational Biology & Bioinformatics: Efficient Verification for Logical Models of Regulatory Networks
DA - 2012-01-01
UR - https://www.deepdyve.com/lp/springer-journals/6th-international-conference-on-practical-applications-of-0Rm6kxynCc
DP - DeepDyve
ER -