"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14740%2F11%3A00055435" target="_blank" >RIV/00216224:14740/11:00055435 - isvavai.cz</a>
Result on the web
<a href="http://www.biomedcentral.com/1471-2105/12/490/abstract" target="_blank" >http://www.biomedcentral.com/1471-2105/12/490/abstract</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1186/1471-2105-12-490" target="_blank" >10.1186/1471-2105-12-490</a>
Alternative languages
Result language
angličtina
Original language name
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis
Original language description
We have developed Antelope ("Analysis of Networks through TEmporal-LOgic sPEcifications", http://turing.iimas.unam.mx:8080/AntelopeWEB/), a model checker for analyzing and constructing Boolean GRNs. Currently, software systems for Boolean GRNs use branching time almost exclusively for asynchrony. Antelope, by contrast, also uses branching time for incompletely specified behavior and environment interaction. We show the usefulness of modeling these two phenomena in the development of a Boolean GRN of theArabidopsis thaliana root stem cell niche. There are two obstacles to a direct approach when applying model checking to Boolean GRN analysis. First, ordinary model checkers normally only verify whether or not a given set of model states has a given property. In comparison, a model checker for Boolean GRNs is preferable if it reports the set of states having a desired property.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
EB - Genetics and molecular biology
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/LC06034" target="_blank" >LC06034: Regulation of morphogenesis of plant cells and organs</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
BMC BIOINFORMATICS
ISSN
1471-2105
e-ISSN
—
Volume of the periodical
2011
Issue of the periodical within the volume
12
Country of publishing house
GB - UNITED KINGDOM
Number of pages
32
Pages from-to
"nestránkováno"
UT code for WoS article
—
EID of the result in the Scopus database
—