C++ Toolbox for Verified Computing I door Matthias Hocks & Rolf Hammer