I detta dokument ges en kort redogörelse för området för körtidskontroll. Till att börja med ges en definition av körtidsverifiering, en jämförelse med välkända verifieringstekniker som modellkontroll och provning, och tillämpningar där körtidsverifiering visar dess särskiljande egenskaper påpekas. Dessutom skisseras förlängningar av körtidsverifieringen såsom monitororienterad programmering och monitorbaserad tidsreflektion och deras likheter och skillnader diskuteras. Slutligen påpekas kort användningen av körtidskontroll för tillämpning av avtal.
I REF ges en kort översikt över körtidskontroll, inklusive en jämförelse med teorembevisning, modellkontroll och provning.
A Brief Account of Runtime Verification
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}