@inproceedings{fava:cea-01834979, TITLE = {{Gamifying program analysis}}, AUTHOR = {Fava, D. and Signoles, J. and Lemerre, M. and Sch{\"a}f, M. and Tiwari, A.}, URL = {https://cea.hal.science/cea-01834979}, NOTE = {Conference of 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015 ; Conference Date: 24 November 2015 Through 28 November 2015; Conference Code:158539}, BOOKTITLE = {{Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science}}, ADDRESS = {Suva, Fiji}, EDITOR = {Voronkov A. and Fehnker A. and Davis M. and McIver A.}, PUBLISHER = {{Springer Verlag}}, VOLUME = {9450}, PAGES = {591-605}, YEAR = {2015}, MONTH = Nov, DOI = {10.1007/978-3-662-48899-7\_41}, KEYWORDS = {Abstracting ; Accident prevention ; Artificial intelligence ; Computer circuits ; Learning systems ; Reconfigurable hardware ; Abstract interpretations ; Industrial scale ; Likely invariants ; Number of false alarms ; Program analysis ; Program Verification ; Symbolic execution ; Verification engineers ; Model checking}, HAL_ID = {cea-01834979}, HAL_VERSION = {v1}, }