A Precise Memory Model for Operating System Code Verification.

Geng Chen, Lei Luo, Lijie Wang

Browse the full TrustCom paper archive.