Thomas Ball, Andreas Podelski, Sriram K. Rajamani. Boolean and Cartesian abstraction for model checking C programs. STTT, 5(1):49-58, 2003. [doi]
@article{BallPR03, title = {Boolean and Cartesian abstraction for model checking C programs}, author = {Thomas Ball and Andreas Podelski and Sriram K. Rajamani}, year = {2003}, doi = {10.1007/s10009-002-0095-0}, url = {http://dx.doi.org/10.1007/s10009-002-0095-0}, tags = {meta programming, model checking, meta-model, C++, abstraction, Meta-Environment}, researchr = {https://researchr.org/publication/BallPR03}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {5}, number = {1}, pages = {49-58}, }