A Tool Supporting Efficient Model Checking of Concurrent Specifications