@inproceedings{JainKC04, author = {Himanshu Jain and Daniel Kroening and Edmund M. Clarke}, title = {Verification of SpecC using predicate abstraction.}, booktitle = {2nd ACM {\&} IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004)}, year = {2004}, pages = {7-16} }