@inproceedings{kosmatov:cea-01834991, TITLE = {{A lesson on runtime assertion checking with Frama-C}}, AUTHOR = {Kosmatov, N. and Signoles, J.}, URL = {https://cea.hal.science/cea-01834991}, NOTE = {Conference of 4th International Conference on Runtime Verification, RV 2013 ; Conference Date: 24 September 2013 Through 27 September 2013; Conference Code:100802}, BOOKTITLE = {{Runtime Verification. RV 2013. Lecture Notes in Computer Science}}, ADDRESS = {Rennes, France}, VOLUME = {8174 LNCS}, PAGES = {386-399}, YEAR = {2013}, MONTH = Sep, DOI = {10.1007/978-3-642-40787-1\_29}, KEYWORDS = {e-acsl ; Executable specifications ; Frama-C ; invalid pointers ; Program monitoring ; Runtime assertion checking ; Errors ; Specification languages ; C (programming language)}, HAL_ID = {cea-01834991}, HAL_VERSION = {v1}, }