Model Checking Dynamic Memory Allocation in Operating Systems | Publicación