Login / Signup
Model checking software for phylogenetic trees using distribution and database methods.
José Ignacio Requeno
José Manuel Colom
Published in:
J. Integr. Bioinform. (2013)
Keyphrases
</>
model checking
database
temporal logic
relational databases
phylogenetic trees
formal verification
software development
formal methods
knowledge base
symbolic model checking