The program verifier Tatzelwurm

  • Thomas Käufl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 665)


  1. 1.
    Th. Käufl: Reasoning about Theories with a Finite Model. 3. Österreichische Artificial Intelligence-Tagung 1987. Informatik-Fachberichte; Berlin, Heidelberg, New York: 1987; SpringerGoogle Scholar
  2. 2.
    Th. Käufl: Reasoning about Systems of Linear Inequalities. 9th International Conference on Automated Deduction. Lecture Notes on Computer Science; Berlin, Heidelberg, New York: 1988; SpringerGoogle Scholar
  3. 3.
    Th. Käufl: Simplification and Decision of Systems of Linear Inequalities over the Integers. Interner Bericht 9/88. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe: 1988Google Scholar
  4. 4.
    Th. Käufl: Program Verifier Tatzelwurm: The Correctness and Completeness of the Generation of the Verification Conditions. Interner Bericht 9/89. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe: 1989Google Scholar
  5. 5.
    Th. Käufl: The Program Verifier Tatzelwurm. in Sichere Software. Heinrich Kersten (Hrsg.). Heidelberg: 1990Google Scholar
  6. 6.
    Th. Käufl, N. Zabel: Coopeation of Decision Procedures in a Tableau-Based Theorem Prover. Revue d'Intelligence Artificielle, Vol. 4, no. 3: 1990, pp. 99–126Google Scholar
  7. 7.
    R.M. Smullyan: First Order Logic. Berlin, Heidelberg, New York: 1968Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Thomas Käufl
    • 1
  1. 1.Institut für Logik, Komplexität und DeduktionssystemeUniversity of KarlsruheKarlsruhe 1Germany

Personalised recommendations