| 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. |
| |
