ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 8/RSTI1 - 2003  - pp.307-310
TITRE
Correction de conjectures fausses par synthèse de programmes

RÉSUMÉ
Dans le domaine de la vérification, les preuves ne terminent pas toujours avec succès, à cause des formules non prouvables. Parfois, le prouveur signale simplement l'échec. Cependant, dans certains cas il est intéressant de connaître la cause de cet échec et de la corriger. Les méthodes classiques sont insuffisantes pour qu'un prouveur détecte et corrige automatiquement les incohérences dans les programmes ou les formules logiques. Dans cet article, nous proposons une méthode permettant de corriger des formules fausses. Soit [...]


ABSTRACT
It's highlighted that when proving conjectures or synthesising programs, we are sometimes faced with unprovable conjectures. In general, a theorem prover will do nothing more but indicates the conjecture is false. However, in many cases it is hightly desirable to have an automated means for detecting and correcting faulty conjectures. Classical methods are not able to detect automatically unconsistancy in programs or conjectures. In this paper, we present a method for patching faulty conjetures. Let [...]


AUTEUR(S)
Moussa DEMBA, Francis ALEXANDRE, Khaled BSAÏES

MOTS-CLÉS
Prédicats de correction, synthèse de programmes, pliage, dépliage.

KEYWORDS
Corrective predicates, program synthesis, folding, unfolding.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (113 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier