Skip to Main content Skip to Navigation
Conference papers

First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402

Christian Colombo 1 Yliès Falcone 2, *
* Corresponding author
2 CORSE - Compiler Optimization and Run-time Systems
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
Abstract : This paper briefly reports on the first international summer school on Runtime Verification: Branches of practical topics rooted in theory, co-organized and sponsored by COST Action IC1402 ArVi which was held September 23-25, Madrid, Spain as part of the 16th international conference on Runtime Verification (RV 2016).
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01428838
Contributor : Yliès Falcone <>
Submitted on : Friday, January 6, 2017 - 3:41:19 PM
Last modification on : Thursday, November 19, 2020 - 1:01:56 PM
Long-term archiving on: : Friday, April 7, 2017 - 3:02:55 PM

File

rv16-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01428838, version 1

Collections

Citation

Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩

Share

Metrics

Record views

434

Files downloads

502