Skip to contents

Käufl, Thomas [Author]

Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1989

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,9
Kaeufl, Thomas [Author]

The program verifier Tatzelwurm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Kaeufl, Thomas [Author]

Program verifier Tatzelwurm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Deussen, Peter [Author]; Hansmann, Alexander [Author]; Kaeufl, Thomas [Author]; Klingenbeck, Stefan [Author]

Programmverifikationssystem Tatzelwurm. Weiterentwicklung während des KORSO-Projekts

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/36495

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2007-08-02
Klingenbeck, Stefan [Author]; Kaeufl, Thomas [Author]

Nachweis von Sicherheitseigenschaften einer Fertigungszelle mit dem Verifikationssystem Tatzelwurm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Klingenbeck, Stefan [Author]; Käufl, Thomas [Author]

Tatzelwurm. Verification of safety requirements with a program verification system

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Kaeufl, Thomas [Author]; Zabel, N. [Author]

The theorem prover of the program verifier Tatzelwurm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Kremplsetzer, Georg [Composer]; Schmid, Hermann von [Author]

Lieder-Texts zu Der Tatzelwurm, oder Das Glöckl von Birkenstein : Volksstück mit Gesang und Tanz in 3 Aufzügen - [Libretto]

View online
Schließen

Access

Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- Slg.Her 2578 a (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Kaeufl, Thomas [Author]

Program verifier Tatzelwurm. The correctness an completeness of the generation of the verification conditions

View online
Schließen

Links

https://publikationen.bibliothek.kit.edu/62189

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Kern, Margit [Author]

Der Tatzelwurm auf der "Elektrotechnischen Ausstellung" in Frankfurt am Main 1891 : eine Vorgeschichte der elektrischen Speicherung und Fernübertragung von Bildern aus der Perspektive der "ecocritical studies"

View online
Schließen

Access

Full access (via DOI)

https://books.ub.uni-heidelberg.de/arthistoricum/reader/download/493/493-17-87394-1-10-20191219.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2019

Published in: Von analogen und digitalen Zugängen zur Kunst ; (2019), Seite 193-202
Käufl, Thomas

Lecture Notes in Computer Science: The program verifier Tatzelwurm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: Lecture Notes in Computer Science
Deussen, Peter; Hansmann, Alex; Käufl, Thomas; Klingenbeck, Stefan

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: The verification system Tatzelwurm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1995

Published in: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Klingenbeck, Stefan; Käufl, Thomas

Lecture Notes in Computer Science: Tatzelwurm : Verification of safety requirements with a program verification system : Verification of safety requirements with a program verification system

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1995

Published in: Lecture Notes in Computer Science
Käufl, Thomas; Zabel, Nicolas

10th International Conference on Automated Deduction: The theorem prover of the program verifier Tatzelwurm

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1990

Published in: 10th International Conference on Automated Deduction
Käufl, Thomas

8th International Conference on Automated Deduction: Program verifier "Tatzelwurm": Reasoning about systems systems of linear inequalities

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1986

Published in: 8th International Conference on Automated Deduction

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication