Counterexampleguided abstraction refinement for symbolic model checking
Authors:

Edmund Clarke

Carnegie Mellon University, Pittsburgh, Pennsylvania


Orna Grumberg

The Technion, Haifa, Israel


Somesh Jha

University of Wisconsin, Madison, Wisconsin


Yuan Lu

Broadcom Co., San Jose, California


Helmut Veith

Vienna University of Technology, Wien, Austria



2003 Article

Bibliometrics

· Citation Count: 271
· Downloads (cumulative): 2,823
· Downloads (12 Months): 155
· Downloads (6 Weeks): 13


Published in: 
· Journal 
Journal of the ACM (JACM) JACM Homepage
archive

Volume 50 Issue 5, September 2003
Pages 752794
ACM New York, NY, USA
table of contents
doi>10.1145/876638.876643


powered by

