A benchmark library for parametric timed model checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A benchmark library for parametric timed model checking

Une bibliothèque d'études de cas pour le model checking temporisé paramétré

Étienne André

Résumé

Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the presence of unknown timing constants or uncertainty (e.g. imprecision for periods). With the recent development of several techniques and tools to improve the efficiency of parametric timed model checking, there is a growing need for proper benchmarks to test and compare fairly these tools. We present here a benchmark library for parametric timed model checking made of benchmarks accumulated over the years. Our benchmarks include academic benchmarks, industrial case studies and examples unsolvable using existing techniques.
Fichier principal
Vignette du fichier
benchmarks-author.pdf (298.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01961496 , version 1 (20-12-2018)

Identifiants

Citer

Étienne André. A benchmark library for parametric timed model checking. Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), Cyrille Artho and Peter Csaba Ölveczky, Nov 2018, Gold Coast, Australia. ⟨hal-01961496⟩
52 Consultations
138 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More