Safety Verification of Dynamic Storage Management in Coq

• 动态存储管理安全验证的Coq实现