Buddy_Memory

Buddy Memory Algorithm Specification and Verification

Name		Name	Last commit message	Last commit date
Latest commit History 58 Commits
Memory_Allocation_Invariant.thy		Memory_Allocation_Invariant.thy
Memory_Allocation_Model.thy		Memory_Allocation_Model.thy
Memory_Allocation_Security.thy		Memory_Allocation_Security.thy
README.md		README.md
SK_SecurityModel.thy		SK_SecurityModel.thy

Provide feedback