Runtime Verification Through Forward Chaining

被引：0
|
作者：
Perotti, Alan [1 ]
Boella, Guido [1 ]
Garcez, Artur d'Avila [2 ]
机构：
[1] Univ Turin, Turin, Italy
[2] City Univ London, London, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 169期
关键词：
D O I：
10.4204/EPTCS.169.8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication form and relies on a forward chaining-based monitoring algorithm. This approach avoids the branching structure and exponential complexity typical of tableaux-based formulations, creating monitors with a single state and a fixed number of rules. This allows for a fast and scalable tool for Runtime Verification: we present the technical details together with a working implementation.
引用
收藏
页码：68 / 81
页数：14
相关论文
共 50 条
  • [1] Runtime Verification Through Forward Chaining
    Perotti, Alan
    Boella, Guido
    Garcez, Artur d'Avila
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 185 - 200
  • [2] Runtime verification with minimal intrusion through parallelism
    Berkovich, Shay
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    FORMAL METHODS IN SYSTEM DESIGN, 2015, 46 (03) : 317 - 348
  • [3] Runtime verification with minimal intrusion through parallelism
    Shay Berkovich
    Borzoo Bonakdarpour
    Sebastian Fischmeister
    Formal Methods in System Design, 2015, 46 : 317 - 348
  • [4] Runtime Verification with Imperfect Information Through Indistinguishability Relations
    Ferrando, Angelo
    Malvone, Vadim
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 335 - 351
  • [5] Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification
    Jakse, Raphael
    Falcone, Ylies
    Mehaut, Jean-Francois
    Pouget, Kevin
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 182 - 193
  • [6] Forward chaining is simple(x)
    Aráoz, J
    OPERATIONS RESEARCH LETTERS, 2000, 26 (01) : 23 - 26
  • [7] Forward Chaining with State Monad
    Grzanek, Konrad
    ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, (ICAISC 2016), PT II, 2016, 9693 : 442 - 452
  • [8] Specific stratified forward chaining
    Bezzazi, H
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1455 - 1460
  • [9] Runtime Verification for HyperLTL
    Bonakdarpour, Borzoo
    Finkbeiner, Bernd
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 41 - 45
  • [10] Architectural Runtime Verification
    Stockmann, Lars
    Laux, Sven
    Bodden, Eric
    2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2019), 2019, : 77 - 84
12345