Aderhold, Markus (2007)
Improvements in Formula Generalization.
21st International Conference on Automated Deduction. Bremen (17.07.2007-20.07.2007)
doi: 10.1007/978-3-540-73595-3_16
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
For proofs by induction it is often necessary to generalize statements to strengthen the induction hypotheses. This paper presents improved heuristics to generalize away subterms, unnecessary conditions and function symbols in a formula. This resolves shortcomings that we encountered within an experimental evaluation of generalization heuristics from the literature. Our generalization method has been implemented in the verification tool xx eriFun . An evaluation with examples from the literature as well as several case studies of our own demonstrates the success of our development.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2007 |
| Autor(en): | Aderhold, Markus |
| Art des Eintrags: | Bibliographie |
| Titel: | Improvements in Formula Generalization |
| Sprache: | Englisch |
| Publikationsjahr: | 2007 |
| Ort: | Berlin |
| Verlag: | Springer |
| Buchtitel: | Automated Deduction: CADE-21 |
| Reihe: | Lecture notes in computer science |
| Band einer Reihe: | 4603 |
| Veranstaltungstitel: | 21st International Conference on Automated Deduction |
| Veranstaltungsort: | Bremen |
| Veranstaltungsdatum: | 17.07.2007-20.07.2007 |
| DOI: | 10.1007/978-3-540-73595-3_16 |
| Kurzbeschreibung (Abstract): | For proofs by induction it is often necessary to generalize statements to strengthen the induction hypotheses. This paper presents improved heuristics to generalize away subterms, unnecessary conditions and function symbols in a formula. This resolves shortcomings that we encountered within an experimental evaluation of generalization heuristics from the literature. Our generalization method has been implemented in the verification tool xx eriFun . An evaluation with examples from the literature as well as several case studies of our own demonstrates the success of our development. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 20 Nov 2008 08:24 |
| Letzte Änderung: | 04 Dez 2024 11:27 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum