Author:
Schairer Axel,Hutter Dieter
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S. Autexier, D. Hutter, B. Langenstein, H. Mantel, G. Rock, A. Schairer, W. Stephan, R. Vogt, and A. Wolpers. VSE: formal methods meet industrial needs. Int. Journal on Software Tools for Technology Transfer, 3(1), 2000.
2. S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In Proc. Int. Workshop Algebraic Development Techniques (WADT), 2000.
3. P. Curzon. The importance of proof maintenance and reengineering. In Proc. Int. Workshop on Higher Order Logic Theorem Proving and Its Applications, 1995.
4. A. Felty and D. Howe. Generalization and reuse of tactic proofs. In Proc. Int. Conf. Logic Programming and Automated Reasoning (LPAR), 1994.
5. A. Felty and D. Howe. Tactic theorem proving with refinement-tree proofs and metavariables. In Proc. Int. Conf. Automated Deduction (CADE), 1994.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hoare-Style Reasoning from Multiple Contracts;Lecture Notes in Computer Science;2017
2. Proof Repositories for Compositional Verification of Evolving Software Systems;Transactions on Foundations for Mastering Change I;2016
3. Fully Abstract Operation Contracts;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014
4. Towards Formal Proof Script Refactoring;Lecture Notes in Computer Science;2011
5. Formal Software Development in MAYA;Lecture Notes in Computer Science;2005