BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
Cette thèse s'inscrit dans le domaine de la vérification formelle de programmes parallèles. L'enjeu de la vérification formelle est de s'assurer qu'un programme va bien fonctionner comme il le devrait, sans commettre d'erreur, se bloquer, ou se terminer anormalement. Cela es...
Main Author: | |
---|---|
Other Authors: | |
Language: | en fr |
Published: |
2013
|
Subjects: | |
Online Access: | http://www.theses.fr/2013PEST1084/document |