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 条
  • [31] Some Thoughts on Runtime Verification
    Maler, Oded
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 3 - 14
  • [32] Runtime Verification for LTL and TLTL
    Bauer, Andreas
    Leucker, Martin
    Schallhart, Christian
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2011, 20 (04)
  • [33] Collaborative runtime verification with tracematches
    Bodden, Eric
    Hendren, Laurie
    Lam, Patrick
    Lhotdk, Ondrej
    Naeem, Nomair A.
    RUNTIME VERIFICATION, 2007, 4839 : 22 - +
  • [34] Incrementally predictive runtime verification
    Ferrando, Angelo
    Delzanno, Giorgio
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (04) : 796 - 817
  • [35] Uncertainty in runtime verification: A survey
    Taleb, Rania
    Halle, Sylvain
    Khoury, Raphael
    COMPUTER SCIENCE REVIEW, 2023, 50
  • [36] Runtime Visualization and Verification in JIVE
    Ziarek, Lukasz
    Jayaraman, Bharat
    Lessa, Demian
    Swaminathan, J.
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 493 - 497
  • [37] Decentralized Stream Runtime Verification
    Miguel Danielsson, Luis
    Sanchez, Cesar
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 185 - 201
  • [38] Runtime checking for program verification
    Zee, Karen
    Kuncak, Viktor
    Taylor, Michael
    Rinard, Martin
    RUNTIME VERIFICATION, 2007, 4839 : 202 - +
  • [39] Runtime verification: the application perspective
    Falcone, Ylies
    Zuck, Lenore D.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 121 - 123
  • [40] Runtime Verification of Contracts with Themulus
    Aranda Garcia, Alberto
    Cambronero, Maria-Emilia
    Colombo, Christian
    Llana, Luis
    Pace, Gordon J.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 231 - 246
12345