The Verification System Tatzelwurm

[1]  George Boolos,et al.  Computability and logic , 1974 .

[2]  Thomas Käufl,et al.  Tatzelwurm: Verification of safety requirements with a program verification system , 1995 .

[3]  Thomas Käufl,et al.  Reasoning about Systems of Linear Inequalities , 1988, CADE.

[4]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[5]  R. E. Shostak.  7th International Conference on Automated Deduction , 1984, Lecture Notes in Computer Science.

[6]  Thomas Käufl.  The Program Verifier Tatzelwurm , 1993, STACS.

[7]  David A. Schmidt.  A Programming Notation for Tactical Reasoning , 1984, CADE.

[8]  R. L. Goodstein,et al.  The Decision Problem , 1957, The Mathematical Gazette.

[9]  Jacques Loeckx,et al.  The Foundations of Program Verification , 1987 .

[10]  Thomas Käufl.  Reasoning about Theories with a Finite Model , 1987, ÖGAI.

[11]  T. Käufl,et al.  Cooperation of decision procedures in a tableau-based theorem prover , 1990 .

[12]  Stephen J. Garland,et al.  A Guide to LP, The Larch Prover , 1991 .

[13]  Johannes Retti,et al.  5. Österreichische Artificial Intelligence-Tagung , 1989 .

[14]  R. Smullyan.  First-Order Logic , 1968 .

[15]  David Jefferson,et al.  Verification Decidability of Presburger Array Programs , 1980, JACM.

[16]  Niklaus Wirth,et al.  Pascal User Manual and Report , 1991, Springer New York.

[17]  Greg Nelson,et al.  Simplification by Cooperating Decision Procedures , 1979, TOPL.

[18]  Prabhaker Mateti,et al.  A Decision Procedure for the Correctness of a Class of Programs , 1981, JACM.

[19]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..