@article{falcone:hal-01248423, TITLE = {{Runtime Verification: the Application Perspective}}, AUTHOR = {Falcone, Yli{\`e}s and Zuck, Lenore D.}, URL = {https://inria.hal.science/hal-01248423}, JOURNAL = {{International Journal on Software Tools for Technology Transfer}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {17}, NUMBER = {2}, PAGES = {3}, YEAR = {2015}, MONTH = Apr, DOI = {10.1007/s10009-014-0360-z}, PDF = {https://inria.hal.science/hal-01248423/file/STTT-intro-RV.pdf}, HAL_ID = {hal-01248423}, HAL_VERSION = {v1}, }