Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications
Le processus de certification de logiciels est dans la plupart des<br /> cas une tâche laborieuse et coûteuse qui nécessite aussi bien des<br /> méthodes mathématiques, pour exprimer sans ambiguïté et de façon<br /> structurée le comportement attendu du logiciel, que des outils<...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2000
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00001304 http://tel.archives-ouvertes.fr/docs/00/04/48/29/PDF/tel-00001304.pdf |