1 |
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler ProgrammeSchweitzer, Dirk Stephan. Unknown Date (has links)
Techn. Universiẗat, Diss., 2007--Darmstadt.
|
2 |
Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der KontextanalyseMann, Matthias Unknown Date (has links)
Univ., Diplomarbeit, 1999--Frankfurt (Main)
|
3 |
Verified proof carrying codeWildmoser, Martin. Unknown Date (has links)
Techn. University, Diss., 2006--München.
|
4 |
Verification of Java card programsStenzel, 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 KonsistenzerhaltungsprotokollenSchneider, Sören. January 2002 (has links)
Stuttgart, Univ., Diplomarb., 2002.
|
7 |
Certifying system translations using higher order theorem proversBlech, 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 modelsLampka, 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 cystemsWimmel, Guido Oliver. Unknown Date (has links) (PDF)
Techn. University, Diss., 2005--München.
|
Page generated in 0.1445 seconds