Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow in complexity and size, exhaustively checking a property on a transition graph becomes difficult. The focus of our research is the fundamental state explosion problem inherent in model checking that often prevents model checking from being applicable in real world design.