English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Runtime verification is an area of formal methods that studies the dynamicanalysis of execution traces against formal specifications. Typically, the twomain activities in runtime verification efforts are the process of creatingmonitors from specifications, and the algorithms for the evaluation of tracesagainst the generated monitors. Other activities involve the instrumentation ofthe system to generate the trace and the communication between the system underanalysis and the monitor. Most of the applications in runtime verification havebeen focused on the dynamic analysis of software, even though there are manymore potential applications to other computational devices and target systems.In this paper we present a collection of challenges for runtime verificationextracted from concrete application domains, focusing on the difficulties thatmust be overcome to tackle these specific challenges. The computational modelsthat characterize these domains require to devise new techniques beyond thecurrent state of the art in runtime verification.

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)