The following pages link to Model Checking Software (Q5308374):
Displaying 13 items.
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions (Q2440681) (← links)
- Parallel model checking large-scale genetic regulatory networks with DiVinE (Q2870296) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- Model Checking Gene Regulatory Networks (Q5194958) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713503) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)
- Constraint identification using modified Hoare logic on hybrid models of gene networks (Q6486421) (← links)
- Artificial intelligence in biological modelling (Q6602271) (← links)
