Some tools to simplify verification at KNMI