Contribution: TreeDiameter

Diameter of a binary tree

Authors:

  • Jean-Christophe Filliâtre [LRI, Orsay]

Description:

This contribution contains the verification of a divide-and-conquer algorithm to compute the diameter of a binary tree (the maxmimal distance between two nodes in the tree).

Keywords:

  • program verification
  • trees
  • paths
  • graphs
  • distance
  • diameter

Source files: