Verif Tools [upd]