| Autor: |
Hurlin, Clément |
| Přispěvatelé: |
Environments for Verification and Security of Software (EVEREST), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) |
| Jazyk: |
francouzština |
| Rok vydání: |
2006 |
| Předmět: |
|
| Zdroj: |
[Travaux universitaires] 2006, pp.29-VII |
| Popis: |
Stage effectué au Loria et à l'Université Technique de Munich; La reconstruction de preuve est une technique qui combine un prouveur interactif et un prouveur automatique de manière correcte. L'utilisateur bénéficie ainsi de l'expressivité du prouveur interactif et de l'automatisation du prouveur automatique. Nous présentons une implémentation de la reconstruction de preuve entre Isabelle et Harvey. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
