HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:51:41 AM
Last modification on : Tuesday, May 3, 2022 - 11:57:50 AM




Hélène Kirchner. Combining assisted and automated deduction. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2000, 28 (1-4), pp.21-26. ⟨10.1023/A:1018987702427⟩. ⟨inria-00099197⟩



Record views