Login / Signup

Model checking software for phylogenetic trees using distribution and database methods.

José Ignacio RequenoJosé 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