Deduction in the Verification Support Environment (VSE)-Reference-Cited by-同舟云学术

Deduction in the Verification Support Environment (VSE)

Published:1996 Issue: Volume: Page:268-286
ISSN:0302-9743
Container-title:FME'96: Industrial Benefit and Advances in Formal Methods
language:
Short-container-title:

Author:

Hutter Dieter,Langenstein Bruno,Sengler Claus,Siekmann Jörg H.,Stephan Werner,Wolpers AndreasWolpers

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60973-3_92.pdf

Reference17 articles.

1. J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, and I.H. Sorensen. The B-method (software development). In W.J. Prehn, S. Toetenel, editor, VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe Proceedings., volume 2, pages 398–405. BP Res., Sunbury Res. Centre, Sunbury-on-Thames, UK, Springer-Verlag, Berlin, Germany, October 1991.

2. P. Baur, E. Canver, J. Cleve, R. Drexler, R. Förster, P. Göhner, H. Hauff, D. Hutter, P. Kejwal, D. Loevenich, W. Reif, C. Sengler, W. Stephan, M. Ullmann, and A. Wolpers. The Verification Support Environment VSE. In Safety of Computer Control Systems 1992 (SAFECOMP'92), 1992.

3. Susanne Biundo, Birgit Hummel, Dieter Hutter, and Christoph Walther. The Karlsruhe Induction Theorem Proving System. In Jörg H. Siekmann, editor, Proceedings 8 th International Conference on Automated Deduction (CADE), Lecture Notes in Computer Science (LNCS) 230, pages 672–674, Oxford, England, 1986. Springer-Verlag, Berlin, Germany.

4. R. S. Boyer and J. Strother Moore. A Computational Logic. Academic Press, London, England, 1979.

5. The B-Toolkit. B-Core(UK) Limited, October 1994.

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

1. Introduction;Logical Analysis of Hybrid Systems;2010

2. Die 2000er Jahre bis 2006;Informatikforschung in Deutschland;2008

3. The KeY tool;Software & Systems Modeling;2005-02

4. Verification Support Environment;Lecture Notes in Computer Science;2005

5. Formal Software Development in MAYA;Lecture Notes in Computer Science;2005