NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 8
  • 5
  • 1
  • 1
  • Tagged with
  • 15
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 15 (0.072 seconds)

Spelling suggestions: "subject:"programmverifikation."" "subject:"programverifikation.""

1

Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Schweitzer, Dirk Stephan. Unknown Date (has links)
Techn. Universiẗat, Diss., 2007--Darmstadt.
Programmverifikation.
2

Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse

Mann, Matthias Unknown Date (has links)
Univ., Diplomarbeit, 1999--Frankfurt (Main)
Lambda-Kalkül Programmverifikation
3

Verified proof carrying code

Wildmoser, Martin. Unknown Date (has links)
Techn. University, Diss., 2006--München.
4

Verification of Java card programs

Stenzel, Kurt. January 2005 (has links) (PDF)
Augsburg, Univ., Diss., 2005.
5

Development of automatic program verification for continuous function chart based on model checking /

Wardana, Awang Noor Indra. January 2009 (has links)
Zugl.: Kassel, University, Diss., 2009.
6

Evaluation von Systemen zur Korrektheitsuntersuchung am Beispiel von Konsistenzerhaltungsprotokollen

Schneider, Sören. January 2002 (has links)
Stuttgart, Univ., Diplomarb., 2002.
7

Certifying system translations using higher order theorem provers

Blech, Jan Olaf January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
8

A symbolic approach to the state graph based analysis of high-level Markov reward models

Lampka, Kai. January 2007 (has links) (PDF)
Erlangen, Nürnberg, Univ., Diss., 2007.
9

Integration of verification and testing into compilation systems concept and case study /

Didrich, Klaus. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
10

Model-based development of security-critical cystems

Wimmel, Guido Oliver. Unknown Date (has links) (PDF)
Techn. University, Diss., 2005--München.

Page generated in 0.0777 seconds