A Taxonomy for Classifying Runtime Verification Tools - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A Taxonomy for Classifying Runtime Verification Tools

Résumé

Over the last 15 years Runtime Verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In this work, we classify RV tools within a high-level taxonomy of concepts. We first present this taxonomy and discuss the different dimensions. Then, we survey RV tools and classify them according to the taxonomy. This paper constitutes a snapshot of the current state of the art and enables a comparison of existing tools.
Fichier principal
Vignette du fichier
rv18-1.pdf (337.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01882410 , version 1 (27-09-2018)

Identifiants

  • HAL Id : hal-01882410 , version 1

Citer

Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel. A Taxonomy for Classifying Runtime Verification Tools. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18. ⟨hal-01882410⟩
179 Consultations
1477 Téléchargements

Partager

Gmail Facebook X LinkedIn More