Distributed State Exploration for Protocol Validation