Ultimate TreeAutomizer (CHC-COMP Tool Description).

Daniel Dietsch Matthias Heizmann Jochen Hoenicke Alexander Nutz Andreas Podelski

Published in: HCVS/PERR@ETAPS (2019)

Keyphrases

high level
software tools
image processing
databases
search engine
social networks
similarity measure
multiresolution