Verification formelle et optimisation de l’allocation de registres
La prise de conscience générale de l'importance de vérifier plus scrupuleusement les programmes a engendré une croissance considérable des efforts de vérification formelle de programme durant cette dernière décennie. Néanmoins, le code qu'exécute l'ordinateur, ou code exécutable, n�...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2010CNAM0730/document |