![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)
| Document Date: 2007-09-20 09:41:43 Open Document File Size: 114,37 KBShare Result on Facebook
City Oakland / / Company Software Assurance SRL / / Currency PTE / / / Facility Computer Science Johns Hopkins University / / IndustryTerm sound tool / secure systems / static tools / annotation-driven checking tools / call site / Lightweight program analysis tools / static analysis tool / kernel services / commodity hardware / static checking tool / tool developer / precise model checking tool / middle ground solution / / OperatingSystem UNIX / KeyKOS / EROS / GNU / / Organization FSA / Johns Hopkins University / / Person Hao Chen / Jonathan S. Shapiro / / Position guard / mental model of global program behavior / programmer / / ProgrammingLanguage C / / Technology virtual machine / UNIX / caching / simulation / operating system / virtual memory / operating systems / process control / /
SocialTag |