Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01882413
Contributor : Yliès Falcone <>
Submitted on : Thursday, September 27, 2018 - 8:04:17 AM
Last modification on : Wednesday, October 7, 2020 - 1:28:03 PM
Long-term archiving on: : Friday, December 28, 2018 - 1:50:08 PM

File

rv18-invited.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01882413, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

355

Files downloads

59