ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Interest beyond Violation: On Points-of-Interest in Runtime Verification

Time: Tuesday, 29.10

Room: Room 2

Authors: Christian Colombo, Gordon Pace, Gerardo Schneider

Abstract: