@article{1449874,
      recid = {1449874},
      author = {Dang, Thao, and Stolz, V.},
      title = {Runtime verification : 22nd international conference, RV  2022, Tbilisi, Georgia, September 28-30, 2022, proceedings  /. RV (Conference)},
      pages = {1 online resource (xii, 347 pages) :},
      note = {International conference proceedings.},
      abstract = {This book constitutes the refereed proceedings of the 22nd  International Conference on Runtime Verification, RV 2022,  held in Tbilisi, Georgia, during September 28-30, 2022. The  12 regular papers and 10 short papers presented in this  book were carefully reviewed and selected from 40  submissions. The RV conference is concerned with all  aspects of monitoring and analysis of hardware, software  and more general system executions. Runtime verification  techniques are crucial for system correctness, reliability,  and robustness; they provide an additional level of rigor  and effectiveness compared to conventional testing, and are  generally more practical than exhaustive formal  verification.},
      url = {http://library.usi.edu/record/1449874},
      doi = {https://doi.org/10.1007/978-3-031-17196-3},
}