Runtime Verification Past Experiences and Future Projections

Klaus Havelund, Giles Reger, Grigore Rosu. Runtime Verification Past Experiences and Future Projections. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 532-562, Springer, 2019. [doi]

Abstract

Abstract is missing.