Title :
Notice of Violation of IEEE Publication Principles
Calculus-based runtime verification
Author :
Hai, Benzhai ; Xie, Ruiyun ; Li, Fangfang ; Chen, Yanhao
Author_Institution :
Dept. of Comput. Sci. &Technol., Henan Normal Univ., Xinxiang, China
Abstract :
Notice of Violation of IEEE Publication Principles
"Calculus-based Runtime Verification"
by Benzhai Hai, Fangfang Li, Ruiyun Xie, Yanhao Chen
in the 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), 2010, pp. 271 – 275
After careful and considered review of the content and authorship of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE\´s Publication Principles.
This paper contains significant portions of original text from the paper cited below. The original text was copied with insufficient attribution (including appropriate references to the original author(s) and/or paper title) and without permission.
Due to the nature of this violation, reasonable effort should be made to remove all past references to this paper, and future references should be made to the following article:
"Calculus-based Runtime Verification"
by Xuan Qi and Changzhi Zhao
in the World Academy of Science, Engineering and Technology 58, 2009, pp. 278 – 282
In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval logics, state machine and parameterized temporal logics. Thus we can synthesize monitors from the logical specification in an uniform fashion to incrementally analysis the current execution traces during test and real run. The monitor detects both good and bad prefix of a particular kind, namely those that are informative for the property under investigation.
Keywords :
finite state machines; program verification; temporal logic; calculus-based runtime verification; interval logics; parameterized temporal logics; state machine; synthesizing monitors; Calculus; Monitoring; Calculus; Runtime Verification; synthesizing monitors;
Conference_Titel :
Computer Science and Information Technology (ICCSIT), 2010 3rd IEEE International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-5537-9
DOI :
10.1109/ICCSIT.2010.5563756