Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.

Abstract excerpt

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

Topics

Share this publication in a Topic to start or enrich a Post.

• Share to Algorithms
• Share to Genetics, Population
• Share to Lactose Intolerance