Schematic calculi for the analysis of decision procedures
Dans cette thèse, on étudie des problèmes liés à la vérification de systèmes (logiciels). On s’intéresseplus particulièrement à la conception sûre de procédures de décision utilisées en vérification. De plus, onconsidère également un problème de modularité pour un langage de modélisation utilisé dan...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013BESA2009/document |