The following pages link to Model Checking Software (Q5308374):
Displayed 5 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)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- Model Revision from Temporal Logic Properties in Computational Systems Biology (Q5452030) (← links)