"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis - Concepedia

Concepedia

Publication | Open Access

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

DOI Full Paper Access

39

Citations

57

References

2011

Year

Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena Álvarez‐Buylla

BMC Bioinformatics

Abstract

We illustrate the advantages of Antelope when (a) modeling incomplete networks and environment interaction, (b) exhibiting the set of all states having a given property, and (c) representing Boolean GRN properties with hybrid CTL.

References

	Year	Citations
Graph-Based Algorithms for Boolean Function Manipulation Bryant IEEE Transactions on Computers Circuit ComplexityComputational LogicLogic SynthesisEngineeringBoolean Function Manipulation	1986	8.8K
Model checking E. M. Clarke, Orna Grümberg, D. Long	1996	6.9K
Automatic verification of finite-state concurrent systems using temporal logic specifications E. M. Clarke, E. Allen Emerson, A. Prasad Sistla ACM Transactions on Programming Languages and Systems EngineeringVerificationComputer-aided VerificationComputational ComplexityConcurrent System	1986	3.5K
Symbolic model checking: 1020 States and beyond Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, Information and Computation EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model Checking	1992	2.7K
Cellular organisation of the <i>Arabidopsis thaliana</i> root Liam Dolan, Kees Janmaat, Viola Willemsen, Development BotanyGeneticsEmbryologyPlant DevelopmentPlant Molecular Biology	1993	1.4K
The segment polarity network is a robust developmental module George von Dassow, Eli Meir, Edwin Munro, Nature Segment Polarity NetworkPattern FormationDevelopmental BiologyDevelopmental Cognitive NeuroscienceComputational Neuroscience	2000	1.2K
The yeast cell-cycle network is robustly designed Fangting Li, Tao Long, Ying Lu, Proceedings of the National Academy of Sciences	2004	1.1K
Conserved factors regulate signalling in Arabidopsis thaliana shoot and root stem cell organizers Ananda K. Sarkar, Marijn Luijten, Shunsuke Miyashima, Nature Plant Molecular BiologyArabidopsis Thaliana ShootDevelopmental BiologyGene ExpressionMedicine	2007	1.1K
Counterexample-guided abstraction refinement for symbolic model checking Edmund M. Clarke, Orna Grümberg, Somesh Jha, Journal of the ACM Program CheckingEngineeringVerificationComputer ArchitectureComputer-aided Verification	2003	974
The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster Réka Albert, Hans G. Othmer Journal of Theoretical Biology Drosophila MelanogasterPattern FormationDevelopmental BiologyMedicineGenetics	2003	959

Page 1