Efficient Explicit-State Model Checking on General Purpose Graphics Processors