Temporal logics for phylogenetic analysis via model checking.

doi:10.1109/TCBB.2013.87

Back to search

Article

Temporal logics for phylogenetic analysis via model checking.

IEEE/ACM transactions on computational biology and bioinformatics - 1 Jan 2000

Requeno José Ignacio, Casado Gregorio de Miguel, Blanco Roberto, Colom José Manuel

Abstract excerpt

The need for general-purpose algorithms for studying biological properties in phylogenetics motivates research into formal verification frameworks. Researchers can focus their efforts exclusively on evolution trees and property specifications. To this end, model checking, a mature automated verif...

Read the complete abstract on PubMed

Topics

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

Share to Phylogeny

Share to Polymorphism, Single Nucleotide

Share to Sequence Alignment

Share to Sequence Analysis, DNA

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 8 closest

Temporal logics for phylogenetic analysis via model checking.PMID 24334397Read

Evaluation of properties over phylogenetic trees using stochastic logics.Semantic proximity Read

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

Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.Semantic proximity Read

Evolution. Trees, fast and accurate.Semantic proximity Read

Evolutionary biology. Use it or lose it.Semantic proximity Read

Phylogenomics.Semantic proximity Read

Molecular phylogeny.Semantic proximity Read

Evolution has forced the plants to follow a timetable.Semantic proximity Read