Institut für Rechnerarchitektur
und Parallelrechner
Sortiere nach Filtere nach aus Projekt
  
zurück zu den Publikationen
Ihre Anfrage lieferte 54 Ergebnisse.

Daum, Matthias EE BibTeX
On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs.
Dissertation, Saarland University, Saarbrücken, 2010.
Note: You can find the corresponding theory files in release vlibvamos-trunk-r31570.tar.gz (5.2M) of the Verisoft Repository.
 
Tverdyshev, Sergey   BibTeX
Formal Verification of Gate-Level Computer Systems.
Dissertation, Saarland University, Computer Science Department, 2009.
 
Alkassar, Eyad     BibTeX
OS Veri cation Extended - On the Formal Veri cation of Device Drivers and the Correctness of Client/Server Software.
Dissertation, University of Saarland, 2009.
 
In der Rieden, Thomas   BibTeX
Verifi ed Linking for Modular Kernel Veri fication.
Dissertation, Saarland University, Saarbrücken, 2009.
 
Tsyban, Alexandra   BibTeX
Formal Verification of a Framework for Microkernel Programmers.
Dissertation, Saarland University, Saarbrücken, 2009.
 
Alekhin, Artem   BibTeX
The VAMP Memory Unit: Hardware Design and Formal Verification Effort.
Masterarbeit, Saarland University, 2009.
 
Kovalev, Mikhail   BibTeX
Integrating a Verified Compiler and a Verified Garbage Collector.
Masterarbeit, Saarland University, 2009.
 
Leinenbach, Dirk   BibTeX
Compiler Verification in the Context of Pervasive System Verification.
Dissertation, Saarland University, Saarbrücken, 2008.
 
Bogan, Sebastian   BibTeX
Formal Specification of a Simple Operating System.
Dissertation, Saarland University, Saarbrücken, 2008.
 
Knapp, Steffen   BibTeX
The Correctness of a Distributed Real-Time System.
Doktorarbeit, Universität des Saarlandes, 2008.
 
zurck   weiter