A Unified Characterization of Runtime Verification Systems as Patterns of Communication
<p> Runtime verification, as a field, provides tools to describe how programs should behave during execution, allowing programmers to inspect and enforce properties about their code at runtime. This field has resulted in a wide variety of approaches to inspecting and ensuring correct behavior,...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
Indiana University
2019
|
| Subjects: | |
| Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=13806256 |