Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study
Model checking is a generic verification technique that allows the phylogeneticist to focus on models and specifications instead of on implementation issues. Phylogenetic trees are considered as transition systems over which we interrogate phylogenetic questions written as formulas of temporal logic...
Main Authors: | Requeno José Ignacio, Colom José Manuel |
---|---|
Format: | Article |
Language: | English |
Published: |
De Gruyter
2014-12-01
|
Series: | Journal of Integrative Bioinformatics |
Online Access: | https://doi.org/10.1515/jib-2014-248 |
Similar Items
-
Model checking software for phylogenetic trees using distribution and database methods
by: Requeno José Ignacio, et al.
Published: (2013-12-01) -
Probabilistic Analysis of the Total Cophenetic Index in Phylogenetic Trees
by: Chen, Li-An, et al.
Published: (2015) -
On-the-fly Probabilistic Model Checking
by: Diego Latella, et al.
Published: (2014-10-01) -
Probabilistic Model and Linear Time Algorithms Analyze for
by: Shyu,Jin Jung, et al.
Published: (1993) -
Systematic model-based safety assessment via probabilistic model checking
by: GOMES, Adriano José Oliveira
Published: (2014)