Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2)
1
2

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01882413 , version 1

Cite

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⟩
175 View
28 Download

Share

Gmail Facebook Twitter LinkedIn More