Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Journal:Proc Int Conf Software Eng

Abstract: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 No.:0270-5257

Translation or Not:no

Date of Publication:2018-05-27

Co-author:Wu, Yifan,wo,shengbin

Correspondence Author:Zhe Chen