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
Hohlfeld, Bernhard [Author]; Struckmann, Werner [Author]

Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL

View online
Schließen

Close

Bookmarks

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

Mannheim [u.a.]: BI-Wissenschaftsverl., 1992

Published in: Reihe Informatik ; 88
Francez, Nissim [Author]

Program verification - [reprint]

View online
Schließen

Close

Bookmarks

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

Wokingham [u.a.]: Addison-Wesley, 1993

Published in: International computer science series
Endres, Albert [Author]

Analyse und Verifikation von Programmen : systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software - [1. Aufl.]

Close

Bookmarks

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

München [u.a.]: Oldenbourg, 1977

Published in: Reihe Datenverarbeitung
Bertot, Yves [Author]; Castéran, Pierre [Author]

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Texts in theoretical computer science
Huth, Michael [Author]; Ryan, Mark [Author]

Logic in computer science : modelling and reasoning about systems - [Repr. (with corr.)]

Close

Bookmarks

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

Cambridge [u.a.]: Cambridge Univ. Press, 2002
Biere, Armin [Author]

Effiziente Modellprüfung des my-Kalküls mit binären Entscheidungsdiagrammen

Close

Bookmarks

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

1997
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Verification of sequential and concurrent programs - [2. ed.]

View online
Schließen

Close

Bookmarks

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

New York; Heidelberg [u.a.]: Springer, 1997

Published in: Graduate texts in computer science
Müllerburg, Monika [Editor] ; Gesellschaft für Informatik Fachgruppe Test, Analyse und Verifikation von Software

Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)

View online
Schließen

Close

Bookmarks

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

München [u.a.]: Oldenbourg, 1996

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 260
Kowalk, Wolfgang Peter [Author]

Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen

View online
Schließen

Close

Bookmarks

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

Mannheim [u.a.]: BI-Wiss.-Verl., c 1993
Jähnichen, Stefan [Editor] ; Seminar Spezifikationstechniken 1989 Karlsruhe, Gesellschaft für Mathematik und Datenverarbeitung

Seminar Spezifikationstechniken : Sommersemester 1989

Close

Bookmarks

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

Sankt Augustin: GMD, 1990

Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 17600
Zwiers, Jakob [Author]

Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection

Close

Bookmarks

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

1988
Olthoff, Walter [Author]

The connection between applicative and procedural languages in an integrated software development and verification system

Close

Bookmarks

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

1987
Loeckx, Jacques [Author]; Sieber, Kurt [Author]

The foundations of program verification - [2. ed.]

View online
Schließen

Close

Bookmarks

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

Stuttgart [u.a.]: Teubner [u.a.], 1987

Published in: Wiley-Teubner series in computer science
Gasteren, Antonetta J. M. van [Author]

On the shape of mathematical arguments

Close

Bookmarks

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

1988
Schmidt, Ulrich [Author]

Verifizierende Teststrategien für ausgewählte Programmklassen

Close

Bookmarks

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

1988
Bakker, Jacobus W. de [Author] ; Bruin, Arie de [Other]

Mathematical theory of program correctness

Close

Bookmarks

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

Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

Published in: Prentice-Hall International series in computer science
Goerdt, Andreas [Author]

Ein Hoare-Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen

Close

Bookmarks

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

1986
Josko, Bernhard [Author]

Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art

Close

Bookmarks

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

1985
Walther, Christoph [Author]

Semantik und Programmverifikation - [1. Aufl.]

View online
Schließen

Close

Bookmarks

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

Stuttgart; Leipzig; Wiesbaden: Teubner, 2001

Published in: Teubner-Texte zur Informatik ; 34

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