162393 20251017144548.0 doi 10.1007/978-3-642-19914-1_23 sideral 74082 ART-2011-74082 eng Requeno, J.I. (orcid)0000-0001-5111-8357 Phylogenetic analysis using an SMV tool 2011 Access copy available to the general public Unrestricted The need for general methods to verify biological properties in phylogenetics motivates research in formal frameworks so that biologists can focus their efforts exclusively in evolution modeling and property specification. Model checking is proposed to this end. Three pillars found this approach: modeling evolution dynamics as transition systems; specifying phylogenetic properties using temporal logic formulae; and verifying the former by means of automated computer tools. As prominent advantages for studying biological properties under our approach, different models of evolution can be considered, complex properties can be specified as the logical composition of others, and the refinement of unfulfilled properties as well as the discovery of new ones can be undertaken by exploiting the results of verification. Preliminary experimental results using the Cadence Symbolic Model Verifier support the feasibility of the methodology. info:eu-repo/grantAgreement/ES/DGA/B117-10 info:eu-repo/grantAgreement/ES/MEC/AP2008-03447 info:eu-repo/grantAgreement/ES/MICINN/TIN2008-06582-C03-02 info:eu-repo/semantics/openAccess All rights reserved http://www.europeana.eu/rights/rr-f/ info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Blanco, R. Universidad de Zaragoza De Miguel Casado, Gregorio Universidad de Zaragoza (orcid)0000-0001-6443-3815 Colom, J.M. Universidad de Zaragoza (orcid)0000-0001-5066-4030 5007 570 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Lenguajes y Sistemas Inf. 93 (2011), 167-174 Advances in Intelligent and Soft Computing 1867-5662 147292 http://zaguan.unizar.es/record/162393/files/texto_completo.pdf Postprint 1311555 http://zaguan.unizar.es/record/162393/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:162393 articulos driver 2025-10-17-14:10:46 ARTICLE