Branch verification