On the Verification of Memory Management Mechanisms. - Iakov Dalinger; Mark A. Hillebrand; Wolfgang J. Paul (CHARME, 2005)

Formal verification of a processor with memory management units. - Iakov Dalinger (2006)