陈哲
开通时间:..
最后更新时间:..
点击次数:
所属单位:计算机科学与技术学院/人工智能学院/软件学院
发表刊物:Proc Int Conf Software Eng
摘要:An important problem in runtime verification is monitorability. If a property is not monitorable, then it is meaningless to check it at runtime, as no satisfaction or violation will be reported in finite steps. In this paper, we revisit the classic definition of monitorability, and show that it is too restrictive for practical runtime verification. We propose a weaker but more practical definition of monitorability, say weak monitorability, and show how to decide weak monitorability for runtime verification. © 2018 Authors.
ISSN号:0270-5257
是否译文:否
发表时间:2018-05-27
合写作者:Wu, Yifan,魏欧,盛斌
通讯作者:陈哲