How to Avoid Proving the Absence of Integer Overflows.

Martin Clochard Jean-Christophe Filliâtre Andrei Paskevich

Published in: VSTTE (2015)

Keyphrases

machine learning
computer vision
database systems
multiresolution
mobile robot
probabilistic model
floating point