Verifying Two Lines of C with Why3: An Exercise in Program Verification.

Jean-Christophe Filliâtre

Published in: VSTTE (2012)

Keyphrases

hough transform
line segments
straight line
line drawings
relational databases
computer vision
three dimensional
probability distribution
line detection