Temporal Logics for Phylogenetic Analysis via Model Checking.
José Ignacio RequenoGregorio de Miguel CasadoRoberto BlancoJosé Manuel ColomPublished in: IEEE ACM Trans. Comput. Biol. Bioinform. (2013)
Keyphrases
- temporal logic
- model checking
- phylogenetic analysis
- molecular biology
- automated verification
- modal logic
- finite state
- formal verification
- model checker
- verification method
- satisfiability problem
- temporal properties
- symbolic model checking
- mazurkiewicz traces
- computation tree logic
- formal specification
- formal methods
- sequence alignment
- concurrent systems
- epistemic logic
- linear temporal logic
- reactive systems
- bounded model checking
- transition systems
- artificial intelligence
- microarray