Combining assisted and automated deduction

Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The quest for proved and reliable software goes through theorem provers, that implement proof search. A main trend of these ten last years has been the combination of assisted and automated deduction. Different approaches to this integration are currently studied focussing on efficiency and/or reliability. A promising research direction is to provide formal systems, programming languages and proof environments that support and integrate the two paradigms of computation and deduction.
Type de document :
Article dans une revue
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2000, 28 (1-4), pp.21-26
Liste complète des métadonnées

https://hal.inria.fr/inria-00099197
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:51:41
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099197, version 1

Collections

Citation

Hélène Kirchner. Combining assisted and automated deduction. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2000, 28 (1-4), pp.21-26. 〈inria-00099197〉

Partager

Métriques

Consultations de la notice

71