/CertiCore

An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University

Primary LanguageAssemblyGNU General Public License v2.0GPL-2.0

Stargazers