Deduction in the verification support environment (VSE)

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

Volumn 1051, Issue , 1996, Pages 268-286

  Hutter, Dieter ^a   Langenstein, Bruno ^a   Sengler, Claus ^a   Siekmann, Jörg H ^a   Stephan, Werner ^a   Wolpers, Andreas ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; EMBEDDED SYSTEMS; FORMAL VERIFICATION; SOFTWARE RELIABILITY; THEOREM PROVING;

ADMINISTRATION SYSTEM; COMPLEX SOFTWARE SYSTEMS; EFFICIENT TREATMENT; FORMAL DEVELOPMENT; FORMAL PROGRAM DEVELOPMENT; INDUSTRIAL CASE STUDY; INDUSTRIAL PARTNERS; SUPPORT ENVIRONMENT;

FORMAL SPECIFICATION;

EID: 84955614937     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_92     Document Type: Conference Paper

References (16)

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. FSrster, P. GShner, H. Hauff, D. Hutter, P. Kejwal, D. Loevenich, W. Reif, C. Sengler, W. Stephan, M. Ullmann, and A. Wolpers. The Verification Support Environment VSE. tn 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 JSrg H. Siekmann, editor, Proceedings 8 th International Conference on Automated Deduction (CADE), Lecture Notes in Compute; Science (LNCS) 230, pages 672 - 674, Oxford, England, 1986. Sprlnger-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.
6. M.J.C. Gordon and T.F. Melham. Introduction to HOL. Cambridge University Press, 1993.
7. Maritta Heisel, Wolfgang Reif, and Werner Stephan. Tactical Theorem Proving in Program Verification. In Proceedings of the 10 th International Conference on Automated Deduction, volume 449 of Lecture Notes in Artificial Intelligence (LNAI), pages 115-131. Springer-Verlag, Berlin, Germany, 1990.
8. Dieter Hurter. Guiding induction proofs. In Mark E. Stickel, editor, Proceedings 10 th International Conference on Automated Deduction (CADE), Lecture Notes in Artificial Intelligence (LNAI) 449, pages 147-161, Kaiserslautern, Germany, July 1990. Springer-Verlag, Berlin, Germany.
9. IT-Sicherheitskriterien. Bundesanzeiger, 1989.
10. Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990.
11. Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3), 1994.
12. V. R. Pratt. Semantical Considerations on Floyd-Hoare Logic. In Proc. 17th IEEE Symp. on Foundations of Computer Science, pages 109-121, October 1976.
13. Wolfgang Reif. Correctness of Generic Modules. In Nerode and Taitslin, editors, Symposium on Software Technology and Theoretical Computer Science, volume 620 of Lecture Notes in Computer Science (LNCS). Springer- Verlag, Berlin, Germany, 1992. Tver, Russia.
14. Wolfgang Reif. Verification of Large Software Systems. In Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, volume 652 of LNCS. Springer-Verlag, Berlin, Germany, 1992. New Dehli, India.
15. J. Rushby, F. von Henke, and S. Owre. An Introduction to Formal Specification and Verification using EHDM. Technical report, SRI International, March 1991.
16. J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, 2nd edition, 1992. Sprachbeschreibung VSE-SL, 1994. Version 1.