A Few Things We Heard About RV Tools (Position Paper)
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury · Kalpa publications in computing · 2018
Over the past five years, we have met with representatives of more than a dozen companies in various domains, trying to showcase the features of our runtime verification tool. These meetings gave us some very instructive feedback about the way RV is perceived by people from the industry, and about the shortcomings of current RV solutions. In this paper, we discuss a few of the comments we heard, and use them to suggest new ways of developing and evaluating RV tools in the future.