CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.
Radu MateescuPedro T. MonteiroEstelle DumasHidde de JongPublished in: Theor. Comput. Sci. (2011)
Keyphrases
- regular expressions
- computation tree logic
- genetic regulatory networks
- model checking
- temporal logic
- pattern matching
- query language
- steady state
- xml schema
- query evaluation
- reverse engineering
- data sets
- matching algorithm
- ordinary differential equations
- regular path queries
- conceptual model
- integrity constraints
- qualitative models
- qualitative simulation
- artificial intelligence