TY  - RPRT
T1  - Analogical transfer of verification proofs for state-based specifications
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1997
A1  - Melis,Erica
A1  - Sengler,Claus
Y1  - 2011/06/29
N2  - 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. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3770
ER  -