Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections - 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

Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections

Résumé

This paper briefly reports on the second international school on Run-time Verification, co-organized and sponsored by Inria and COST Action IC1402 ArVi. The school was held March 19-21 2018, in Praz sur Arly (near Grenoble) in the French Alps. Most of the lectures dealt with introductory and advanced topics on Runtime Verification from the first tutorial book on Runtime Verification [2]. Additional lectures were given on cutting-edge research topics. We report the context and objectives of the school, overview its program, and propose outlooks for the future editions of the school.
Fichier principal
Vignette du fichier
rv18-invited.pdf (71.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01882413 , version 1

Citer

Yliès Falcone. Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5. ⟨hal-01882413⟩
178 Consultations
32 Téléchargements

Partager

Gmail Facebook X LinkedIn More