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...

Full description

Bibliographic Details
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