Advertisement

Automatic theorem proving in the ISDV system

  • Christoph Beierle
  • Walter Olthoff
  • Angelika Voss
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

Keywords

Theorem Prove Verification Task Automatic Theorem Prove Algebraic Specification Proof Task 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [1]
    Beierle, C., Olthoff, W., Voss, A.: Software Development Environments Integrating Specification and Programming Languages. Proc. German Chapter of the ACM Workshop on Software Architecture and Modular Programming. Teubner Verlag, Stuttgart, 1986.Google Scholar
  2. [2]
    Karl Mark G. Raph: The Markgral Karl Refutation Procedure. University of Kaiserslautern, Memo SEKI-MK-84-01, 1984.Google Scholar
  3. [3]
    Thomas, C.: The Rewrite Rule Laboratory (in German). University of Kaiserslautern, Memo SEKI-84-01, 1984.Google Scholar
  4. [4]
    Beierle, C., Voss, A.: Algebraic Specifications and Implementations in an Integrated Software Development and Verification System. University of Kaiserslautern, Memo SEKI-85-12, 1985 (joint SEKI-Memo containing the Ph.D. thesis by Ch. Beierle and the Ph.D. thesis by A. Voss).Google Scholar
  5. [5]
    Beierle, C., Gerlach, M., Goebel, R., Olthoff, W., Raulefs, P., Voss, A.: Integrated Program Development and Verification. In: H.-L. Hausen (ed.): Symposium on Software Validation. North-Holland Publ. Co., Amsterdam, 1983.Google Scholar
  6. [6]
    Olthoff, W.: An Overview of ModPascal. SIGPLAN Notices, 20 (10), Oct. 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Christoph Beierle
    • 1
  • Walter Olthoff
    • 1
  • Angelika Voss
    • 1
  1. 1.Department of Computer ScienceUniversity of KaiserslauternKaiserslauternWest Germany

Personalised recommendations