Efficient modular glass box software model checking
Michael Roberson, Chandrasekhar Boyapati · 2010
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states without explicitly checking them. It is significantly more efficient than other software model checking approaches for checking certain kinds of programs and program properties.