| go to PhD and master's theses |
| Your query yielded 2 results. |
| In der Rieden, T. and Tsyban, A. |
|
EE |
BibTeX |
| CVM - A Verified Framework for Microkernel Programmers. | | In R. Huuck, G. Klein and B. Schlich, editors, 3rd intl Workshop on Systems Software Verification (SSV08), | | volume 217 of ENTCS, pages 151--168 , Elsevier Science B.V., 2008. | | |
| Gargano, M. and Hillebrand, M. and Leinenbach, D. and Paul, W. |
|
EE |
BibTeX |
| On the Correctness of Operating System Kernels. | | In Hurd, J. and Melham, T., editors, Theorem Proving in High Order Logics (TPHOLs) 2005, | | Oxford, U.K. | | LNCS, Springer, 2005. | | |
|
