ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques
La vérification à l'exécution est une technique prometteuse pour améliorer la sûreté des systèmes complexes. Ces systèmes peuvent être instrumentés afin qu'ils produisent des traces d'exécution permettant d'observer leur utilisation dans des conditions réelles. Un défi important...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019GREAM014 |