Model checking the evolution of gene regulatory networks.
Mirco GiacobbeCalin C. GuetAshutosh GuptaThomas A. HenzingerTiago PaixãoTatjana PetrovPublished in: Acta Informatica (2017)
Keyphrases
- model checking
- gene regulatory networks
- temporal logic
- network model
- reverse engineering
- gene expression data
- formal verification
- model checker
- automated verification
- formal specification
- temporal properties
- biological data
- symbolic model checking
- bayesian inference
- verification method
- dynamic bayesian networks
- bounded model checking
- formal methods
- computation tree logic
- structure learning
- epistemic logic
- transition systems
- alternating time temporal logic
- knowledge discovery
- high throughput
- logic programs
- software engineering