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 条
  • [21] RETRACTED: Web Information Retrieval based on Ontology (Retracted Article)
    Jian, Zhang
    2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011, 11
  • [22] RETRACTED: An ontology evolution method based on folksonomy (Retracted Article)
    Wang, Shufeng
    Zhuang, Yanbin
    Hu, Zhixi
    Fei, Xianju
    2014 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C 2014), 2014, : 336 - 339
  • [23] RETRACTED: Fuzzy rule based ontology reasoning (Retracted Article)
    Rajasekaran Indra, Minu
    Govindan, Nagarajan
    Divakarla Naga Satya, Ravi Kumar
    Somasundram David Thanasingh, Sundarsingh Jebaseelan
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2021, 12 (06) : 6029 - 6035
  • [24] RETRACTED: Modelling and verification of white light oil immersion microsphere optical nanoscope (Retracted Article)
    Ling, Jinzhong
    Wang, Xiaorui
    Li, Dancui
    Liu, Xin
    OPTICAL AND QUANTUM ELECTRONICS, 2017, 49 (11)
  • [25] RETRACTED: RETRACTED ARTICLE: Melanin-based biomimic photothermal nanoparticles for therapeutic application in diabetic nephropathy (Retracted Article)
    Lu, Wen
    Chen, Gongqi
    Li, Wenfang
    JOURNAL OF DRUG TARGETING, 2021, 29 (05) : I - VIII
  • [26] RETRACTED: Electronic tongue (Retracted Article)
    Toko, K
    BIOSENSORS & BIOELECTRONICS, 1998, 13 (06): : 701 - 709
  • [27] RETRACTED: Definitions for the purist (Retracted Article)
    McCrory, P
    BRITISH JOURNAL OF SPORTS MEDICINE, 2005, 39 (11) : 786 - 786
  • [28] RETRACTED: SPR 2018 (Retracted Article)
    不详
    PEDIATRIC RADIOLOGY, 2018, 48 (SUPPL 1) : S1 - S298
  • [29] RETRACTED: Analysis of a System (Retracted Article)
    Shi, Chang-Guang
    APPLIED MATERIALS AND TECHNOLOGIES FOR MODERN MANUFACTURING, PTS 1-4, 2013, 423-426 : 2759 - 2762
  • [30] RETRACTED: Letter to the editor (Retracted Article)
    Rekers, H
    Affandi, B
    CONTRACEPTION, 2004, 70 (05) : 433 - 433
12345