CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
NuSMV: A new symbolic model checker
Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
Qualitative simulation of genetic regulatory networks using piecewise-linear models
Derivatives of Regular Expressions
Propositional dynamic logic of regular programs
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
A lattice-theoretical fixpoint theorem and its applications
CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
Modeling and querying biomolecular interaction networks
Temporal logic can be more expressive
Computation Tree Regular Logic for Genetic Regulatory Networks
Modeling the onset of virulence in a pectinolytic bacterium
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
Propositional dynamic logic of looping and converse is elementarily decidable
Verification, Model Checking, and Abstract Interpretation
Results on the propositional \(\mu\)-calculus
“Sometimes” and “not never” revisited
Multistationarity, the basis of cell differentiation and memory. I: Structural conditions of multistationarity and other nontrivial behavior
Modalities for model checking: Branching time logic strikes back
Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
A linear-time model-checking algorithm for the alternation-free modal mu- calculus
Tools and Algorithms for the Construction and Analysis of Systems
LSCs: Breathing life into message sequence charts
Compiling communicating processes into delay-insensitive VLSI circuits
Verification of infinite-state dynamic systems using approximate quotient transition systems
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Biology and control theory: Current challenges
Counterexample-guided predicate abstraction of hybrid systems
Parallel model checking large-scale genetic regulatory networks with DiVinE
Efficient local correctness checking for single and alternating boolean equation systems
Model Checking Software
Model Checking Software

Cited In (5)

GR(1)*: GR(1) specifications extended with existential guarantees
Model Checking of Biological Systems
Model checking interval temporal logics with regular expressions
On the Model Checking Problem for Some Extension of CTL*
STL*: extending signal temporal logic with signal-value freezing operator

Uses Software

SPIN
DiVinE
NuSMV
CADP
Exp.Open
CAESAR_SOLVE

Recommendations

This page was built for publication: CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548484)