An I/O Separation Model for Formal Verification of Kernel Implementations

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2021
Source ID
10.1109/sp40001.2021.00101

Entities

People

  • Limin Jia
  • Miao Yu
  • Virgil Gligor

Organizations

  • Carnegie Mellon University
  • Office of Naval Research