![Linux / Kernel / Microkernel / Linux kernel / Model checking / EROS / Thread / Architecture of Windows NT / Mach / Computer architecture / Software / System software Linux / Kernel / Microkernel / Linux kernel / Model checking / EROS / Thread / Architecture of Windows NT / Mach / Computer architecture / Software / System software](https://www.pdfsearch.io/img/56bd69d293f2d845710057c5f1cd4746.jpg) Date: 2007-09-20 09:41:43Linux Kernel Microkernel Linux kernel Model checking EROS Thread Architecture of Windows NT Mach Computer architecture Software System software | | Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao ChenAdd to Reading ListSource URL: srl.cs.jhu.eduDownload Document from Source Website File Size: 114,37 KBShare Document on Facebook
|