Similarities and reuse of proofs in formal software verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1488, Issue , 1998, Pages 76-87

  Melis, Erica ^a   Schairer, Axel ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL VERIFICATION; VERIFICATION;

CBR APPLICATIONS; DOMAIN KNOWLEDGE; FIRST PRINCIPLES; FORMAL SOFTWARE VERIFICATIONS; INTERACTIVE PROGRAMS; STATE TRANSITION SYSTEMS; USER INTERACTION; VERIFICATION PROCESS;

CASE BASED REASONING;

EID: 33745660687     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0056323     Document Type: Conference Paper

References (12)

1. J.G. Carbonell. Derivational analogy: A theory of reconstructive problem solving and expertise acquisition. In R.S. Michalsky, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, pages 371-392. Morgan Kaufmann Publ., Los Altos, 1986.
2. P. Graf. Term Indexing. Springer, LNAI 1053, 1996.
3. A.K. Hickman and J.H. Larkin. Internal analogy: A model of transfer within problems. In Proceedings of the 12th Annual Conference of The Cognitive Science Society, 1990
4. D. Hutter, B. Langenstein, C. Sengler, J.H. Siekmann, W. Stephan, and A. Wolpers. Deduction in the verification support environment (VSE). In Proceedings of the Third International Symposium of Formal Methods Europe, Oxford, England, 1996.
5. Th. Kolbe. Optimizing Proof Search by Machine Learning Techniques. PhD thesis, Fachbereich Informatik der Technischen Hochschule Darmstadt, 1997.
6. Th. Kolbe and Ch. Walther. Reusing proofs. In Proceedings of 11th European Conference on Artificial Intelligence, Amsterdam, 1994.
7. E. Melis. A model of analogy-driven proof-plan construction. In Proceedings of the l4th International Joint Conference on Artificial Intelligence, Montreal, 1995.
8. E. Melis. When to prove theorems by analogy? In KI-96: Advances in Artificial Intelligence. 20th Annual German Conference on Artificial Intelligence, Dresden, 1996.
9. E. Melis and C. Sengler. Analogy in verification of state-based specifications, first results. Seki Report SR-96-13, Universits des Saarlandes, FB Informatik, 1996. also available as report DFKI RR-97-01.
10. T.M. Mitchell, R.M. Keller, and S.T. Kedar-Cabelli. Explanation-based generalization: A unifying view. Machine Learning, 1:47-80, 1986.
11. W. Reif and K. Stenzel. Reuse of proofs in software verification. In Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 1993.
12. A. Schairer. A technique for reusing proofs in software verification. Master's thesis, Universität des Saarlandes and Universit~it Stuttgart, March 1998.