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: | Tushkanova, Elena |
---|---|
Other Authors: | Besançon |
Language: | en |
Published: |
2013
|
Subjects: | |
Online Access: | http://www.theses.fr/2013BESA2009/document |
Similar Items
-
Schematic calculi for the analysis of decision procedures
by: Tushkanova, Elena
Published: (2013) -
Calculs schématiques pour l'analyse de procédures de décision
by: Tushkanova, Elena
Published: (2013) -
Conception de Procédures de Décision par Combinaison et Saturation
by: Tran, Duc-Khanh
Published: (2007) -
Assessing the impact of processor design decisions on simulation based verification complexity using formal modeling with experiments at instruction set architecture level
by: Yuan, Fangfang
Published: (2012) -
Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre
by: Zabel, Nicolas
Published: (1993)