CHRISTIE TRACY

Self-verification of operating system memory management