@article{799836,
      note = {Includes author index.},
      author = {Lahiri, Shuvendu, and Reger, Giles,},
      url = {http://library.usi.edu/record/799836},
      title = {Runtime verification : 17th International Conference, RV  2017, Seattle, WA, USA, September 13-16, 2017, Proceedings  /. RV (Conference)},
      abstract = {This book constitutes the refereed proceedings of the 17th  International Conference on Runtime Verification, RV 2017,  held in Seattle, WA, USA, in September 2017. The 18 revised  full papers presented together with 3 invited  presentations, 4 short papers, 5 tool papers, and 3  tutorials, were carefully reviewed and selected from 58  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 lightweight techniques to assess  correctness, reliability, and robustness; these techniques  are significantly more powerful and versatile than  conventional testing, and more practical than exhaustive  formal verification.},
      doi = {https://doi.org/10.1007/978-3-319-67531-2},
      recid = {799836},
      pages = {1 online resource (xix, 432 pages) :},
}