Une approche de vérification formelle et de simulation pour les systèmes à événements : application à PROMELA
De nos jours, la mise au point de logiciels ou de systèmes fiables est de plus en plus difficile. Les nouvelles technologies impliquent de plus en plus d'interactions entre composants complexes, dont l'analyse et la compréhension deviennent de plus en plus délicates. Pour pallier ce problè...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016AIXM4373/document |