Maintenance of Formal Software Developments by Stratified Verification-Reference-Cited by-同舟云学术

Maintenance of Formal Software Developments by Stratified Verification

Published:2002 Issue: Volume: Page:36-52
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Autexier Serge,Hutter Dieter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36078-6_3

Reference13 articles.

1. S. Autexier, D. Hutter, H. Mantel, A. Schairer. System description: InKa 5.0-a logic voyager. In H. Ganzinger (Ed.): 16th International Conference on Automated Deduction, Springer, LNAI 1632, 1999.

2. Lect Notes Comput Sci;S. Autexier,2000

3. S. Autexier, T. Mossakowski. Integrating HOL-Casl into the Development Graph Manager Maya. In A. Armando (Ed.) Frontiers of Combining Systems (Fro-CoS’02), Santa Margherita Ligure, Italy, Springer LNAI, April, 2002.

4. CoFI Language Design Task Group. The common algebraic specification language (Casl)-summary, 1998. Version 1.0 and additional Note S-9 on Semantics, available from http://www.brics.dk/Projects/CoFI .

5. M. Cerioli, J. Meseguer. May I borrow your logic? Theoretical Computer Science, 173(2):311–347, 1997.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Change Management for Heterogeneous Development Graphs;Verification, Induction, Termination Analysis;2010

2. Enhanced Theorem Reuse by Partial Theory Inclusions;Artificial Intelligence and Symbolic Computation;2006

3. Ωmega: Computer Supported Mathematics;KI 2004: Advances in Artificial Intelligence;2004