A survey of challenges for runtime verification from advanced application domains (beyond software)

Runtime Verification Functional verification Software verification Verification TRACE (psycholinguistics) Intelligent verification High-level verification Instrumentation
DOI: 10.1007/s10703-019-00337-w Publication Date: 2019-08-09T16:03:46Z
ABSTRACT
Abstract Runtime verification is an area of formal methods that studies the dynamic analysis execution traces against specifications. Typically, two main activities in runtime efforts are process creating monitors from specifications, and algorithms for evaluation generated monitors. Other involve instrumentation system to generate trace communication between under monitor. Most applications have been focused on software, even though there many more potential other computational devices target systems. In this paper we present a collection challenges extracted concrete application domains, focusing difficulties must be overcome tackle these specific challenges. The models characterize domains require devise new techniques beyond current state art verification.
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (337)
CITATIONS (76)