Institute for Computer Architecture
and Parallel Computing
Publications
 
  
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.