Introduction to the Special Issue on Runtime Verification

Lu Feng, Dana Fisman

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)519-520
Number of pages2
JournalInternational Journal on Software Tools for Technology Transfer
Issue number4
StatePublished - 1 Aug 2023


  • Runtime
  • Verification

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems


Dive into the research topics of 'Introduction to the Special Issue on Runtime Verification'. Together they form a unique fingerprint.

Cite this