Please use this identifier to cite or link to this item: doi:10.22028/D291-24938
Title: Analogical transfer of verification proofs for state-based specifications
Author(s): Melis, Erica
Sengler, Claus
Language: English
Year of Publication: 1997
OPUS Source: Kaiserslautern ; Saarbrücken : DFKI, 1997
SWD key words: Künstliche Intelligenz
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: The amount of user interaction is the prime cause of costs in interactive program verification. This paper describes an internal analogy technique that reuses subproofs in the verification of state-based specifications. It identifies common patterns of subproofs and their justifications in order reuse these subproofs; thus significant savings on the number of user interactions in a verification proof are achievable.
Link to this record: urn:nbn:de:bsz:291-scidok-37708
Series name: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Series volume: 97-01
Date of registration: 29-Jun-2011
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
RR_97_01.pdf264,87 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.