Himanshu Jain, Daniel Kroening, Edmund M. Clarke. Verification of SpecC using predicate abstraction. In 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings. pages 7-16, IEEE, 2004. [doi]
@inproceedings{JainKC04, title = {Verification of SpecC using predicate abstraction}, author = {Himanshu Jain and Daniel Kroening and Edmund M. Clarke}, year = {2004}, doi = {10.1109/MEMCOD.2004.1459808}, url = {http://dx.doi.org/10.1109/MEMCOD.2004.1459808}, tags = {abstraction}, researchr = {https://researchr.org/publication/JainKC04}, cites = {0}, citedby = {0}, pages = {7-16}, booktitle = {2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings}, publisher = {IEEE}, }