verify binary