Battleship681 Protocol Verification