From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Dagstuhl Artifacts Series Year : 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Étienne André
Loïc Fejoz
  • Function : Author
Susanne Graf
Youcheng Sun

Abstract

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly.
Fichier principal
Vignette du fichier
DARTS.9.1.4.pdf (599.18 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04254710 , version 1 (05-04-2024)

Licence

Identifiers

Cite

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩
108 View
9 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More