The Flasher Manager Benchmarks
Résumé
This technical report provides all the source code of the Flasher Manager as well as of the test programs. The Flasher Manager is an industrial application from a car manufacturer that is embedded as a C program in a car computer. The benchmarks are based on four safety properties specified by the Flasher Manager designers.
Fichier principal
tr_fm.pdf (49.24 Ko)
Télécharger le fichier
fm.tgz (24.33 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Format | Autre |
---|
Loading...