Browsing Computer Science by Document Type "Conference Paper"
Now showing items 1-1 of 1
(ACM, 2017)Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ...
Share this page