Title: | SAT based Abstraction-Refinement using ILP and Machine Learning Techniques |
---|---|
Links: | Document as Postscript |
Authors: | Edmund Clarke EMail |
A. Gupta | |
J. Kukula | |
Ofer Strichman EMail | |
Remarks: | |
Topics: |
Bibtex:
@InProceedings{CGKS02, AUTHOR = { Clarke, Edmund and Gupta, A. and Kukula, J. and Strichman, Ofer }, TITLE = { {SAT} based Abstraction-Refinement using {ILP} and Machine Learning Techniques }, BOOKTITLE = { Proceedings of the 14th International Conference on Computer Aided Verification }, YEAR = { 2002 }, PUBLISHER = { Springer }, PAGES = { 265--279 }, SERIES = { lncs }, VOLUME = { 2404 }, MONTH = { July }, EDITOR = { Ed Brinksma and Kim G. Larsen }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.