Keywords:
Software verification, software model checking, configurable program analysis, predicate abstraction
Rights:
Copyright remains with the author. The author granted permission for the file to be printed and for the text to be copied and pasted.