model checking is widely applied in verifying the correctness of complex and
concurrent systems against a specification. Pure symbolic approaches while
popular, suffer from the state space explosion problem due to cross product
operations required that make them prohibitively expensive