[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Jean Yang & Chris Hawblitzel
- Safe to the last instruction: Automated verification of a type-safe operating system
- Commun ACM V54n12(Dec 2011)pp123-131
[ 2043174.2043197 ]
- =ADVERT LOGIC PROOF TOOLS SAFETY MEMORY OSs Kernel Nucleus Typed Assembly Language TAL Verve Hoare C#
- Demonstrates feasibility of developing a proved type-safe operating system.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]