Contribution: TreeDiameter
Diameter of a binary tree
Authors
- Jean-Christophe Filliâtre
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