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
AUTHORS (16)
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)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....