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 条
  • [1] RETRACTED: Certifiable Theory for Lambda Calculus (Retracted Article)
    Lv Hui
    Cui Zhiheng
    ELECTRICAL INFORMATION AND MECHATRONICS AND APPLICATIONS, PTS 1 AND 2, 2012, 143-144 : 297 - 301
  • [2] RETRACTED: Runtime Prediction of Armored Vehicle Engine Based on Neural Network (Retracted Article)
    Chen, Chunliang
    Cao, Yanhua
    Ye, Hongbing
    Song, Yongjun
    2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011, 11 : 1498 - 1504
  • [3] RETRACTED: CellLib: A Multilayer Runtime Support Library for the CBEA (Retracted Article)
    Bai, Xiuxiu
    Feng, Guofu
    Wang, Xuhao
    Feng, Jinghua
    Dong, Xiaoshe
    2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011, 11
  • [4] RETRACTED: A Formal Verification Method of Compilation Based on C Safety Subset (Retracted Article)
    Tan, Yu
    Ma, Dianfu
    Qiao, Lei
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2021, 2021
  • [5] RETRACTED: Online Signature Verification using the Entropy Function (Retracted Article)
    Hanmandlu, Madasu
    Sayeed, Farrukh
    Vasikarla, Shantaram
    2015 IEEE APPLIED IMAGERY PATTERN RECOGNITION WORKSHOP (AIPR), 2015,
  • [6] RETRACTED: Probability Density Evolution Algorithm for Stochastic Dynamical Systems Based on Fractional Calculus (Retracted Article)
    Yan, Yang
    Yu, Xiaohong
    JOURNAL OF MATHEMATICS, 2021, 2021
  • [7] RETRACTED: An efficient human face verification system based on ELBP: a high precision feature (Retracted Article)
    Reddy, P. Ajay Kumar
    Ramaiah, G. N. Kodanda
    Giriprasad, M. N.
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2021, 12 (05) : 5127 - 5136
  • [8] RETRACTED: A Lightweight Face Verification Based on Adaptive Cascade Network and Triplet Loss Function (Retracted Article)
    Lin, Jianhong
    Ye, Chaoyang
    Liu, Weinan
    Ren, Siqi
    Wang, Ye
    Ma, Wenrui
    Xu, Bin
    Ding, Yifan
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [9] RETRACTED: Biometric Identity Verification using Automatic Speaker Recognition (Retracted Article)
    Sujatha, Kota
    Rao, A. Arjuna
    Rao, P. V. Nageswara
    Prasad, K. Rajendra
    Deepthi, M. S. B.
    2015 INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS, SIGNALS, COMMUNICATION AND OPTIMIZATION (EESCO), 2015,
  • [10] RETRACTED: A Network Pharmacology to Explore the Mechanism of Calculus Bovis in the Treatment of Ischemic Stroke (Retracted Article)
    Liu, Fangchen
    Li, Ling
    Chen, Jian
    Wu, Ying
    Cao, Yongbing
    Zhong, Ping
    BIOMED RESEARCH INTERNATIONAL, 2021, 2021
12345