by Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Reference:
Counterexample-guided abstraction refinement for symbolic model checkingEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut VeithJ. ACM, volume 50, number 5, pages 752–794, 2003.
Bibtex Entry:
@article{DBLP:journals/jacm/ClarkeGJLV03,
author = {Edmund M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and Helmut Veith},
title = {Counterexample-guided abstraction refinement for symbolic model checking},
number = {5},
year = {2003},
journal = {J. ACM},
pages = {752--794},
volume = {50},
url = {http://doi.acm.org/10.1145/876638.876643}
}