benchmarks

Dépôt de code source pour les benchmarks utilisés lors de la première compétition internationale sur la vérification en temps d'exécution (CRV 14). Ce dépôt contient des benchmarks pour les trois tracks : offline monitoring, online monitoring de programmes C, et online monitoring de programmes Java.

Dépôt de code

https://gitlab.inria.fr/crv14/benchmarks (nouvelle fenêtre)

Cas d'utilisation métiers

Évaluation d'outils de vérification en temps d'exécution : rechercher des initiatives proches
Test de conformité de logiciels face à des propriétés spécifiées : rechercher des initiatives proches
Comparaison de performances de différents outils de monitoring : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Outils utilisés

Description générée le lundi 18 mars 2024 à 10:23:49

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala