Abstract | ||
---|---|---|
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. Nonetheless, standard logics become insufficient for the usual practices of phylogenetic analysis since they don't allow the inclusion of explicit time and probabilities. The aim of this paper is to extend the application of model checking techniques beyond qualitative phylogenetic properties and adapt the existing logical extensions and tools to the field of phylogeny. The introduction of time and probabilities in phylogenetic specifications is motivated by a real example. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-07581-5_13 | 8TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2014) |
Keywords | Field | DocType |
phylogenetic analysis,timed & probabilistic model checking | Phylogenetic tree,Model checking,Computer science,Theoretical computer science,Temporal logic,Phylogenetics,Probabilistic model checking | Conference |
Volume | ISSN | Citations |
294 | 2194-5357 | 1 |
PageRank | References | Authors |
0.36 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Ignacio Requeno | 1 | 41 | 6.92 |
José Manuel Colom | 2 | 341 | 31.92 |