On algorithmic analysis of transcriptional regulation by LTL model checking.
Jiri BarnatLubos BrimIvana CernáSven DrazanJana FabrikováDavid SafránekPublished in: Theor. Comput. Sci. (2009)
Keyphrases
- model checking
- temporal logic
- bounded model checking
- temporal properties
- linear temporal logic
- model checker
- formal verification
- data analysis
- timed automata
- formal specification
- formal methods
- computation tree logic
- machine learning
- verification method
- symbolic model checking
- automated verification
- modal logic
- high throughput
- data acquisition
- petri net
- text mining
- transition systems
- software engineering
- knowledge discovery
- linear time temporal logic
- artificial intelligence