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 条
  • [21] The Expert System Application For Diagnosing Human Vitamin Deficiency Through Forward Chaining Method
    Novaliendry, Dony
    Yang, Cheng-Hong
    Labukti, Denno Guara A. Y.
    2015 INTERNATIONAL CONFERENCE ON ICT CONVERGENCE (ICTC), 2015, : 53 - 58
  • [22] Runtime Verification with Particle Filtering
    Kalajdzic, Kenan
    Bartocci, Ezio
    Smolka, Scott A.
    Stoller, Scott D.
    Grosu, Radu
    RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 149 - 166
  • [23] Neural Networks for Runtime Verification
    Perotti, Alan
    Garcez, Artur d'Avila
    Boella, Guido
    PROCEEDINGS OF THE 2014 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2014, : 2637 - 2644
  • [24] Runtime Verification with the RV System
    Meredith, Patrick
    Rosu, Grigore
    RUNTIME VERIFICATION, 2010, 6418 : 136 - 152
  • [25] TeSSLa - An Ecosystem for Runtime Verification
    Kallwies, Hannes
    Leucker, Martin
    Schmitz, Malte
    Schulz, Albert
    Thoma, Daniel
    Weiss, Alexander
    RUNTIME VERIFICATION (RV 2022), 2022, 13498 : 314 - 324
  • [26] On Benchmarking for Concurrent Runtime Verification
    Aceto, Luca
    Attard, Duncan Paul
    Francalanza, Adrian
    Ingolfsdottir, Anna
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 3 - 23
  • [27] Runtime Verification at Work: A Tutorial
    Daian, Philip
    Guth, Dwight
    Hathhorn, Chris
    Li, Yilong
    Pek, Edgar
    Saxena, Manasvi
    Serbanuta, Traian Florin
    Rosu, Grigore
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 46 - 67
  • [28] General Anticipatory Runtime Verification
    Hipler, Raik
    Kallwies, Hannes
    Leucker, Martin
    Sanchez, Cesar
    COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, 14682 : 133 - 155
  • [29] Runtime monitoring & software verification
    Time Rover
    1600, 68-72 (August 2004):
  • [30] A Model for Collaborative Runtime Verification
    Testerink, Bas
    Bulling, Nils
    Dastani, Mehdi
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1781 - 1782
12345