TY - JOUR
T1 - Introduction to the Special Issue on Runtime Verification
AU - Feng, Lu
AU - Fisman, Dana
N1 - Publisher Copyright: © 2023, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.
PY - 2023/8/1
Y1 - 2023/8/1
N2 - Runtime verification (RV) refers to methods for formal reasoning about all aspects of the dynamic execution of systems, including hardware, software, and cyber-physical systems. RV includes techniques to assess and enforce correctness of a system against systemic bugs or extrinsic uncertainties. These methods are typically considered lightweight as they may not involve exhaustive verification or proofs, but they provide a higher level of rigor and versatility compared to conventional testing methods. This article introduces the extended versions of selected papers from the peer-reviewed proceedings of the 21st International Conference on Runtime Verification (RV 2021). RV 2021 was supposed to be held in Los Angeles, California, USA in November 2021, but was instead held virtually due to the global Covid-19 pandemic.
AB - Runtime verification (RV) refers to methods for formal reasoning about all aspects of the dynamic execution of systems, including hardware, software, and cyber-physical systems. RV includes techniques to assess and enforce correctness of a system against systemic bugs or extrinsic uncertainties. These methods are typically considered lightweight as they may not involve exhaustive verification or proofs, but they provide a higher level of rigor and versatility compared to conventional testing methods. This article introduces the extended versions of selected papers from the peer-reviewed proceedings of the 21st International Conference on Runtime Verification (RV 2021). RV 2021 was supposed to be held in Los Angeles, California, USA in November 2021, but was instead held virtually due to the global Covid-19 pandemic.
KW - Runtime
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=85175645140&partnerID=8YFLogxK
U2 - https://doi.org/10.1007/s10009-023-00722-1
DO - https://doi.org/10.1007/s10009-023-00722-1
M3 - Article
SN - 1433-2779
VL - 25
SP - 519
EP - 520
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 4
ER -