A brief account of runtime verification. Leucker, M. & Schallhart, C. The Journal of Logic and Algebraic Programming, 78(5):293–303, May, 2009.
Paper doi abstract bibtex In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out.
@article{leucker_brief_2009,
series = {The 1st {Workshop} on {Formal} {Languages} and {Analysis} of {Contract}-{Oriented} {Software} ({FLACOS}’07)},
title = {A brief account of runtime verification},
volume = {78},
issn = {1567-8326},
url = {http://www.sciencedirect.com/science/article/pii/S1567832608000775},
doi = {10.1016/j.jlap.2008.08.004},
abstract = {In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out.},
language = {en},
number = {5},
urldate = {2020-01-30},
journal = {The Journal of Logic and Algebraic Programming},
author = {Leucker, Martin and Schallhart, Christian},
month = may,
year = {2009},
keywords = {Assertion checking, Monitoring, Testing, Verification},
pages = {293--303},
}
Downloads: 0
{"_id":"FsANZyrDFWxipRBjd","bibbaseid":"leucker-schallhart-abriefaccountofruntimeverification-2009","author_short":["Leucker, M.","Schallhart, C."],"bibdata":{"bibtype":"article","type":"article","series":"The 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’07)","title":"A brief account of runtime verification","volume":"78","issn":"1567-8326","url":"http://www.sciencedirect.com/science/article/pii/S1567832608000775","doi":"10.1016/j.jlap.2008.08.004","abstract":"In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out.","language":"en","number":"5","urldate":"2020-01-30","journal":"The Journal of Logic and Algebraic Programming","author":[{"propositions":[],"lastnames":["Leucker"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Schallhart"],"firstnames":["Christian"],"suffixes":[]}],"month":"May","year":"2009","keywords":"Assertion checking, Monitoring, Testing, Verification","pages":"293–303","bibtex":"@article{leucker_brief_2009,\n\tseries = {The 1st {Workshop} on {Formal} {Languages} and {Analysis} of {Contract}-{Oriented} {Software} ({FLACOS}’07)},\n\ttitle = {A brief account of runtime verification},\n\tvolume = {78},\n\tissn = {1567-8326},\n\turl = {http://www.sciencedirect.com/science/article/pii/S1567832608000775},\n\tdoi = {10.1016/j.jlap.2008.08.004},\n\tabstract = {In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out. Moreover, extensions of runtime verification such as monitor-oriented programming, and monitor-based runtime reflection are sketched and their similarities and differences are discussed. Finally, the use of runtime verification for contract enforcement is briefly pointed out.},\n\tlanguage = {en},\n\tnumber = {5},\n\turldate = {2020-01-30},\n\tjournal = {The Journal of Logic and Algebraic Programming},\n\tauthor = {Leucker, Martin and Schallhart, Christian},\n\tmonth = may,\n\tyear = {2009},\n\tkeywords = {Assertion checking, Monitoring, Testing, Verification},\n\tpages = {293--303},\n}\n\n","author_short":["Leucker, M.","Schallhart, C."],"key":"leucker_brief_2009","id":"leucker_brief_2009","bibbaseid":"leucker-schallhart-abriefaccountofruntimeverification-2009","role":"author","urls":{"Paper":"http://www.sciencedirect.com/science/article/pii/S1567832608000775"},"keyword":["Assertion checking","Monitoring","Testing","Verification"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/bxt101","dataSources":["Wsv2bQ4jPuc7qme8R"],"keywords":["assertion checking","monitoring","testing","verification"],"search_terms":["brief","account","runtime","verification","leucker","schallhart"],"title":"A brief account of runtime verification","year":2009}