RETRACTED: Calculus-based Runtime Verification (Retracted Article)

被引：0

作者：

Hai, Benzhai ^{[1
]}

Li, Fangfang ^{[2
]}

Xie, Ruiyun ^{[3
]}

Chen, Yanhao ^{[4
]}

机构：

[1] Henan Normal Univ, Dept Comp Sci & Technol, Xinxiang, Peoples R China

[2] Hunan Univ Technol, Dept Met, Zhuzhou, Peoples R China

[3] Henan Mech & Elect Engn Coll, Dept Comp Sci & Technol, Xinxiang, Peoples R China

[4] Henan Normal Univ, Network Ctr, Xinxiang, Peoples R China

来源：

PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1 | 2010年

关键词：

Calculus; Runtime Verification; synthesizing monitors;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：271 / 275

页数：5

共 50 条

[31] RETRACTED: Vaccines and autism (Retracted Article)
Rimland, B
McGinnis, W
LABORATORY MEDICINE, 2002, 33 (09) : 708 - +
[32] RETRACTED: Hidden harm (Retracted Article)
Suzuki, Masahiro
Konno, Chisato
Takahashi, Sakae
Uchiyama, Makoto
LANCET, 2011, 377 (9768): : 874 - 874
[33] RETRACTED: [Front cover] (Retracted Article)
不详
IEEE TRANSACTIONS ON MAGNETICS, 2022, 58 (02)
[34] RETRACTED: The porphyrias: pathophysiology (Retracted Article)
Pietrangelo, Antonello
INTERNAL AND EMERGENCY MEDICINE, 2010, 5 : S65 - S71
[35] RETRACTED: Joining the dots (Retracted Article)
Fattorini, Roisin
Glover, Beverley J.
NATURE PLANTS, 2018, 4 (01) : 10 - 11
[36] RETRACTED: [Front cover] (Retracted Article)
不详
IEEE SENSORS JOURNAL, 2022, 22 (03) : C1 - C1
[37] RETRACTED: Airway Transplantation (Retracted Article)
Jungebluth, Philipp
Macchiarini, Paolo
THORACIC SURGERY CLINICS, 2014, 24 (01) : 97 - +
[38] RETRACTED: Editors' Note (Retracted Article)
不详
CONSTRUCTION AND BUILDING MATERIALS, 2022, 344
[39] RETRACTED: Abdominal pregnancy (Retracted Article)
Schofer, JM
Lee, J
ANNALS OF EMERGENCY MEDICINE, 2005, 45 (06) : 676 - +
[40] RETRACTED: Parole issues (Retracted Article)
Barnett, R. -L. Etienne
NEOHELICON, 2008, 35 (02) : 181 - 189

← 1 2 3 4 5 →