What You See is What You Get – Verification With Vtool