Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

International Competition on Runtime Verification (CRV)

Abstract : We review the first five years of the international Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The competition has gone through a number of changes since its introduction , which we highlight in this paper.
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-02433552
Contributeur : Yliès Falcone <>
Soumis le : jeudi 9 janvier 2020 - 11:18:18
Dernière modification le : jeudi 19 novembre 2020 - 13:02:12
Archivage à long terme le : : samedi 11 avril 2020 - 11:01:37

Fichier

toolympics-19.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ezio Bartocci, Yliès Falcone, Giles Reger. International Competition on Runtime Verification (CRV). Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019., Springer, pp.41-49, 2019, ⟨10.1007/978-3-030-17502-3_3⟩. ⟨hal-02433552⟩

Partager

Métriques

Consultations de la notice

86

Téléchargements de fichiers

152