Une couverture combinant tests et preuves pour la vérification formelle
Actuellement, le développement d’un logiciel de taille industriel repose généralement surdes tests ou des preuves unitaires pour garantir rigoureusement ses exigences. En outre, il adéjà été montré que l’utilisation combinée du test et de la preuve unitaires est plus efficaceque l’utilisation d’une...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019ESAE0023/document |