Runtime Verification as Documentation
收藏DataCite Commons2023-09-13 更新2025-04-16 收录
下载链接：
https://dataverse.jpl.nasa.gov/citation?persistentId=doi:10.48577/jpl.TZVKY7
下载链接
链接失效反馈官方服务：
资源简介：
In runtime verification, a monitor is used to return a Boolean verdict on the behavior of a system. We present several examples of the use of monitors to instead document system behavior. In doing so, we demonstrate how runtime verification can be combined with techniques from data science to provide novel forms of program analysis.
提供机构：
Root
创建时间：
2023-09-03
