Under-approximation Heuristics for Grid-based Bounded Model Checking

Cite this paper

@article{Iyer2006UnderapproximationHF, title={Under-approximation Heuristics for Grid-based Bounded Model Checking}, author={Subramanian K. Iyer and Jawahar Jain and Debashis Sahoo and E. Allen Emerson}, journal={Electr. Notes Theor. Comput. Sci.}, year={2006}, volume={135}, pages={31-46} }