Valigator: A Verification Tool with Bound and Invariant Generation.

Thomas A. Henzinger Thibaud Hottelier Laura Kovács

Published in: LPAR (2008)

Keyphrases

upper bound
lower bound
user friendly
error bounds
software tools
database
real world
website
worst case
face verification